Original language | English |
---|---|
Title of host publication | Proceedings of the 24th IEEE Conference on Computational Complexity (CCC) |
Publisher | IEEE Computer Society Press |
Pages | 41-51 |
Number of pages | 11 |
Publication status | Published - 2009 |
The Proof Complexity of Polynomial Identities
Pavel Hrubes, Iddo Tzameret
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution