Algebraic Proofs over Noncommutative Formulas

Iddo Tzameret

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication7th Annual Conference on Theory and Applications of Models of Computation
Place of PublicationBerlin
Pages60
Number of pages71
Volume6108
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science (LNCS)

Cite this