[IEEE 2009 24th Annual IEEE Conference on Computational Complexity (CCC) - Paris, France (2009.07.15-2009.07.18)] 2009 24th Annual IEEE Conference on Computational Complexity - The Proof Complexity of Polynomial Identities
Hrube, Pavel, Tzameret, IddoYear:
2009
Language:
english
DOI:
10.1109/ccc.2009.9
File:
PDF, 374 KB
english, 2009