![](/img/cover-not-exists.png)
[IEEE 2011 IEEE Annual Conference on Computational Complexity (CCC) - San Jose, CA, USA (2011.06.8-2011.06.11)] 2011 IEEE 26th Annual Conference on Computational Complexity - Paris-Harrington Tautologies
Carlucci, Lorenzo, Galesi, Nicola, Lauria, MassimoYear:
2011
Language:
english
DOI:
10.1109/ccc.2011.17
File:
PDF, 454 KB
english, 2011