Pudlák, Pavel, 1952-
Pudlák, Pavel.
Pavel Pudlák český matematik
VIAF ID: 111316148 (Personal)
Permalink: http://viaf.org/viaf/111316148
Preferred Forms
- 100 0 _ ‡a Pavel Pudlák ‡c český matematik
-
- 100 1 _ ‡a Pudlák, Pavel ‡d 1952-
-
-
- 100 1 0 ‡a Pudlák, Pavel, ‡d 1952-
-
- 100 1 _ ‡a Pudlák, Pavel, ‡d 1952-....
-
- 100 1 _ ‡a Pudlák, Pavel
-
-
- 100 1 _ ‡a Pudlák, Pavel ‡d 1952-...
-
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abel prize, the highest achievement in mathematics | |
Abelova cena : nejvyšší ocenění za matematiku | |
Bounded arithmetic and the polynomial hierarchy | |
The complexity of proving that a graph is Ramsey | |
Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups | |
Cuts, consistency statements and interpretations | |
An exponential lower bound to the size of bounded depth Frege proofs of the Pigeonhole Principle | |
An improved exponential-time algorithm for k-SAT | |
A lattice of chapters of mathematics : interpretations between theorems | |
The Lengths of Proofs | |
Logic colloquium '98 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998 | |
Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction | |
Lower bounds on Hilbert’s Nullstellensatz and propositional proofs | |
Metamathematics of first-order arithmetic | |
More on computing Boolean functions by sparse real polynomials and related types of threshold circuits | |
The number of proof lines and the size of proofs in first order logic | |
On sparse parity check matrices | |
On the computational power of depth 2 circuits with threshold and modulo gates | |
Perspectives in logic | |
proof that division is not in TC02 | |
Proofs as Games | |
Propositional proof systems, the consistency of first order theories and the complexity of computations | |
Quantified propositional calculi and fragments of bounded arithmetic | |
The role of platelets in haemostasis and thrombosis : symposium with international participation ; XVIth Scientific Conference of the Faculty of General Medicine of Charles University org. in coop. with the Czechoslovak Society of Haematology, the Czechoslovak Society of Clinical and Pathological Physiology and the Czechoslovak medical. | |
Složitost formálních důkazů | |
Some consequences of cryptographical conjectures for S12 and EF |