Jan Krajicek - Selected Publications#

  • 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 preparation.

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).


Imprint Privacy policy « This page (revision-49) was last changed on Wednesday, 22. May 2024, 15:37 by Krajicek Jan
  • operated by