Krajíček, Jan
Krajíček, Jan, 1960-
VIAF ID: 12378002 (Personal)
Permalink: http://viaf.org/viaf/12378002
Preferred Forms
-
200 _ | ‡a Krajíček ‡b Jan
-
100 1 _ ‡a Krajiček, Jan.
-
100 1 _ ‡a Krajíček, Jan, ‡d 1960-
-
100 1 _ ‡a Krajiček, Jan (undifferentiated)
-
100 1 0 ‡a Krajíček, Jan
-
100 1 _ ‡a Krajíček, Jan
4xx's: Alternate Name Forms (1)
Selected Titles
- Bounded arithmetic, propositional logic, and complexity theory
(6)
- Arithmetic, proof theory, and computational complexity
(5)
- Forcing with random variables and proof complexity
(3)
- Complexity of computations and proofs
(3)
- Arithmetic, proof theory, and computational complexity
(2)
- Složitost formálních důkazů
(1)
- Omezená aritmetika, výrokový počet a teorie složitosti
(1)
- Logic Colloquium '01, 2005:
(1)
- Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
(1)
- Bounded arithmetic, propositional logic, and complexity theory
(1)
