Algebraic Proofs over Noncommutative Formulas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	7th Annual Conference on Theory and Applications of Models of Computation
Place of Publication	Berlin
Pages	60
Number of pages	71
Volume	6108
Publication status	Published - 2010

Name	Lecture Notes in Computer Science (LNCS)

Cite this

@inproceedings{6ce1d293844340688c81a4727bdf44ad,

title = "Algebraic Proofs over Noncommutative Formulas",

author = "Iddo Tzameret",

year = "2010",

language = "English",

volume = "6108",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "60",

booktitle = "7th Annual Conference on Theory and Applications of Models of Computation",

}