2 results
LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 450-476
- Print publication:
- June 2015
-
- Article
- Export citation
Stephen Cook and Phuong Nguyen. Logical foundations of proof complexity. Perspectives in Logic. Cambridge University Press, New York, 2010, 15 + 479 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 462-464
- Print publication:
- September 2011
-
- Article
- Export citation