Krajíček, Jan
Krajíček, Jan, 1960-
Jan Krajíček matematik, vysokoškolský pedagog (*1960)
VIAF ID: 12378002 (Personal)
Permalink: http://viaf.org/viaf/12378002
Preferred Forms
- 100 0 _ ‡a Jan Krajíček ‡c matematik, vysokoškolský pedagog (*1960)
-
-
-
-
-
- 100 1 _ ‡a Krajíček, Jan
- 100 1 _ ‡a Krajíček, Jan
- 100 1 _ ‡a Krajíček, Jan ‡d 1960-
-
- 100 1 _ ‡a Krajícek, Jan
-
- 100 1 _ ‡a Krajíček, Jan
-
-
-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (5)
- 510 2 _ ‡a Akademie věd České republiky
- 510 2 _ ‡a Logic Colloquium '01 (2001 ; Wiedeń)
- 510 2 _ ‡a Univerzita Karlova
- 510 2 _ ‡a Univerzita Karlova ‡e Affiliation
- 510 2 _ ‡a Československá akademie věd
Works
Title | Sources |
---|---|
Arithmetic, proof theory, and computational complexity | |
Bounded arithmetic and the polynomial hierarchy | |
Forcing with random variables and proof complexity | |
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH | |
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic | |
Logic Colloquium '01, 2005: | |
Lower bounds on Hilbert’s Nullstellensatz and propositional proofs | |
The number of proof lines and the size of proofs in first order logic | |
Omezená aritmetika, výrokový počet a teorie složitosti | |
On the weak pigeonhole principle | |
A proof complexity conjecture and the Incompleteness theorem | |
Quantified propositional calculi and fragments of bounded arithmetic | |
Složitost formálních důkazů | |
Some consequences of cryptographical conjectures for S12 and EF |