Algebraic Proofs over Noncommutative Formulas

Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

57 Downloads (Pure)
Original languageEnglish
Pages (from-to)1269-1292
Number of pages24
JournalInformation and Computation
Volume209
Issue number10
Publication statusPublished - 2011

Cite this