Pavel Pudlak: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proofs as Games

Journal:

American Mathematical Monthly

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

2

Cuts, Consistency Statements and Interpretations

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 417 KB

english, 1985

3

An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

Jan Krajíček, Pavel Pudlák, Alan Woods

Journal:

Random Structures & Algorithms

Year:

1995

Language:

english

File:

PDF, 1.14 MB

english, 1995

4

INCOMPLETENESS IN THE FINITE DOMAIN

Journal:

Bulletin of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 392 KB

english, 2017

5

Proofs as Games

Journal:

American Mathematical Monthly

Year:

2000

Language:

english

File:

PDF, 914 KB

english, 2000

6

Quantified propositional calculi and fragments of bounded arithmetic

Jan Krajíček, Pavel Pudlák

Journal:

Mathematical Logic Quarterly

Year:

1990

Language:

english

File:

PDF, 915 KB

english, 1990

7

Bounded arithmetic and the polynomial hierarchy

Jan Krajíček, Pavel Pudlák, Gaisi Takeuti

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 706 KB

english, 1991

8

Some structural properties of low-rank matrices related to computational complexity

Bruno Codenotti, Pavel Pudlák, Giovanni Resta

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 136 KB

english, 2000

9

The number of proof lines and the size of proofs in first order logic

Jan Krajíček, Pavel Pudlák

Journal:

Archive for Mathematical Logic

Year:

1988

Language:

english

File:

PDF, 810 KB

english, 1988

10

Equilateral Sets inlpn

Noga Alon, Pavel Pudlák

Journal:

Geometric And Functional Analysis

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

11

Every finite lattice can be embedded in a finite partition lattice

Pavel Pudlák, Jiří T⫲ma

Journal:

Algebra Universalis

Year:

1980

Language:

english

File:

PDF, 848 KB

english, 1980

12

Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups

Péter Pál Pálfy, Pavel Pudlák

Journal:

Algebra Universalis

Year:

1980

Language:

english

File:

PDF, 304 KB

english, 1980

13

Lower bounds for resolution and cutting plane proofs and monotone computations

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.26 MB

english, 1997

14

Some Prime Elements in the Lattice of Interpretability Types

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 2.39 MB

english, 1983

15

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 218 KB

english, 2016

16

GUEST EDITOR'S FOREWORD

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 25 KB

english, 2001

17

Threshold circuits of bounded depth

András Hajnal, Wolfgang Maass, Pavel Pudlák, Márió Szegedy, György Turán

Journal:

Journal of Computer and System Sciences

Year:

1993

Language:

english

File:

PDF, 1.39 MB

english, 1993

18

Complexity in mechanized hypothesis formation

Pavel Pudlák, F.N. Springsteel

Journal:

Theoretical Computer Science

Year:

1979

Language:

english

File:

PDF, 2.45 MB

english, 1979

19

Quantum deduction rules

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 666 KB

english, 2009

20

Some constructive bounds on Ramsey numbers

Alexandr Kostochka, Pavel Pudlák, Vojtech Rödl

Journal:

Journal of Combinatorial Theory, Series B

Year:

2010

Language:

english

File:

PDF, 169 KB

english, 2010

21

A note on the use of determinant for proving lower bounds on the size of linear circuits

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 64 KB

english, 2000

22

A note on monotone complexity and the rank of matrices

Anna Gál, Pavel Pudlák

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 96 KB

english, 2003

23

Monotone simulations of non-monotone proofs

Albert Atserias, Nicola Galesi, Pavel Pudlák

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 173 KB

english, 2002

24

Superconcentrators of depths 2 and 3; odd levels help (rarely)

Noga Alon, Pavel Pudlak

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 401 KB

english, 1994

25

On the computational content of intuitionistic propositional proofs

Samuel R Buss, Pavel Pudlák

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 115 KB

english, 2001

26

A note on applicability of the incompleteness theorem to human mind

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 579 KB

english, 1999

27

On reducibility and symmetry of disjoint NP pairs

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

28

On the computational power of depth-2 circuits with threshold and modulo gates

Matthias Krause, Pavel Pudlák

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

29

Graph complexity

Pavel Pudlák, Vojtěch Rödl, Petr Savický

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 909 KB

english, 1988

30

On the structure of initial segments of models of arithmetic

Jan Krajíček, Pavel Pudlák

Journal:

Archive for Mathematical Logic

Year:

1989

Language:

english

File:

PDF, 382 KB

english, 1989

31

Constructive lower bounds for off-diagonal Ramsey numbers

Noga Alon, Pavel Pudlák

Journal:

Israel Journal of Mathematics

Year:

2001

Language:

english

File:

PDF, 391 KB

english, 2001

32

Partition theorems for systems of finite subsets of integers

Pavel Pudlák, Vojteěch Rödl

Journal:

Discrete Mathematics

Year:

1982

Language:

english

File:

PDF, 816 KB

english, 1982

33

Erratum to: “A note on monotone complexity and the rank of matrices”: [Information Processing Letters 87 (2003) 321–326]

Anna Gál, Pavel Pudlák

Journal:

Information Processing Letters

Year:

2003

File:

PDF, 101 KB

2003

34

On Sparse Parity Check Matrices

Hanno Lefmann, Pavel Pudlák, Petr Savicky

Journal:

Designs, Codes and Cryptography

Year:

1997

Language:

english

File:

PDF, 288 KB

english, 1997

35

Cycles of Nonzero Elements in Low Rank Matrices

Journal:

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

36

Some Consequences of Cryptographical Conjectures forS12and EF

Jan Krajı́ček, Pavel Pudlák

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 429 KB

english, 1998

37

Regraphs and congruence lattices

Pavel Pudlák, Jiří T⫲ma

Journal:

Algebra Universalis

Year:

1983

Language:

english

File:

PDF, 289 KB

english, 1983

38

Distributivity of strongly representable lattices

Journal:

Algebra Universalis

Year:

1977

Language:

english

File:

PDF, 331 KB

english, 1977

39

A new proof of the congruence lattice representation theorem

Journal:

Algebra Universalis

Year:

1976

Language:

english

File:

PDF, 253 KB

english, 1976

40

Alternating minima and maxima, Nash equilibria and Bounded Arithmetic

Pavel Pudlák, Neil Thapen

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 257 KB

english, 2012

41

A lower bound on the size of resolution proofs of the Ramsey theorem

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 100 KB

english, 2012

42

Determination of Platelet Factor-3 by a Modified Prothrombin Consumption Test

Irena Farská, Pavel Pudlák

Journal:

European Journal of Haematology

Year:

1967

Language:

english

File:

PDF, 249 KB

english, 1967

43

An improved exponential-time algorithm for k -SAT

Paturi, Ramamohan, Pudlák, Pavel, Saks, Michael E., Zane, Francis

Journal:

Journal of the ACM

Year:

2005

Language:

english

File:

PDF, 222 KB

english, 2005

44

Boolean Circuits, Tensor Ranks, and Communication Complexity

Pudlák, Pavel, Rödl, Vojtech, Sgall, Jirí

Journal:

SIAM Journal on Computing

Year:

1997

Language:

english

File:

PDF, 481 KB

english, 1997

45

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Proofs of Impossibility

Year:

2013

Language:

english

File:

PDF, 848 KB

english, 2013

46

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Language, Logic and Computations

Year:

2013

Language:

english

File:

PDF, 729 KB

english, 2013

47

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Mathematician’s World

Year:

2013

Language:

english

File:

PDF, 577 KB

english, 2013

48

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Proof Complexity

Year:

2013

Language:

english

File:

PDF, 651 KB

english, 2013

49

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || The Complexity of Computations

Year:

2013

Language:

english

File:

PDF, 965 KB

english, 2013

50

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Set Theory

Year:

2013

Language:

english

File:

PDF, 843 KB

english, 2013