Jan Krajicek - Selected Publications#


Books
  • Bounded arithmetic, propositional logic, and complexity theory, Cambridge University Press, 1995.
  • Forcing with random variables and proof complexity, Cambridge University Press, 2011.
  • Proof complexity, Cambridge University Press, 2019.
  • Proof complexity generators, Cambridge University Press, in press.


Edited volumes

  • with P. Clote, "Arithmetic, Proof Theory and Computational Complexity", Oxford University Press, (1993).
  • "Complexity of computations and proofs", Quaderni di Matematica, Vol.13, ser. published by Seconda Universita di Napoli, Caserta. 424 pp., (2004).
  • with M. Baaz and S. Friedman, "Logic Colloquium'01", Proceedings of the European ASL meeting in Vienna 2001, LN in Logic, Vol.20, Assoc. for Symb. Logic, A K Peters, Ltd., and Wellesley (Mass.US), 486 pp., (2005).


Papers

Imprint Privacy policy « This page (revision-50) was last changed on Friday, 27. September 2024, 08:46 by Krajicek Jan
  • operated by