Generating Matrix Identities and Proof Complexity. / Li, Fu; Tzameret, Iddo.

2014. 1-46.

Research output: Contribution to conferencePaper

Published

Documents

Links

Original languageEnglish
Pages1-46
Number of pages46
Publication statusPublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 23641500