Pavel Pudlák: search on Z-Library

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

Don't use scam websites

51

[ACM Press the thirty-seventh annual ACM symposium - Baltimore, MD, USA (2005.05.22-2005.05.24)] Proceedings of the thirty-seventh annual ACM symposium on Theory of computing - STOC '05 - Bounded-depth circuits

Koucký, Michal, Pudlák, Pavel, Thérien, Denis

Year:

2005

Language:

english

File:

PDF, 235 KB

english, 2005

52

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) || Cardinal Invariants Associated with Predictors

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

Year:

2016

Language:

english

File:

PDF, 252 KB

english, 2016

53

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

Year:

2013

Language:

english

File:

PDF, 651 KB

english, 2013

54

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) || A Theorem on Countable Ordered Sets with an Application to Universal Graphs

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

Year:

2016

Language:

english

File:

PDF, 157 KB

english, 2016

55

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

56

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Consistency, Truth and Existence

Year:

2013

Language:

english

File:

PDF, 612 KB

english, 2013

57

[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

58

Partition Expanders

Gavinsky, Dmitry, Pudlák, Pavel

Journal:

Theory of Computing Systems

Year:

2017

Language:

english

File:

PDF, 311 KB

english, 2017

59

Gödel and computations

Journal:

ACM SIGACT News

Year:

2006

Language:

english

File:

PDF, 250 KB

english, 2006

60

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) || The Ramsey Structure of A-Determined Sets in a Saturated Universe

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

Year:

2016

Language:

english

File:

PDF, 275 KB

english, 2016

61

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

62

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

63

[Studies in Logic and the Foundations of Mathematics] Handbook of Proof Theory Volume 137 || The Lengths of Proofs

Year:

1998

Language:

english

File:

PDF, 4.33 MB

english, 1998

64

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) || On Definability of Admissible Sets

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

Year:

2016

Language:

english

File:

PDF, 240 KB

english, 2016

65

On reducibility and symmetry of disjoint NP pairs

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

66

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) || Additive Theories

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

Year:

2016

Language:

english

File:

PDF, 152 KB

english, 2016

67

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) || Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion

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

Year:

2016

Language:

english

File:

PDF, 247 KB

english, 2016

68

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

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

Year:

2016

Language:

english

File:

PDF, 55 KB

english, 2016

69

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) || Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers

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

Year:

2016

Language:

english

File:

PDF, 160 KB

english, 2016

70

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

71

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

72

[IEEE 2008 23rd Annual IEEE Conference on Computational Complexity - College Park, MD, USA (2008.06.23-2008.06.26)] 2008 23rd Annual IEEE Conference on Computational Complexity - Exponential Separation of Quantum and Classical Non-interactive Multi-party Communication Complexity

Gavinsky, Dmitry, Pudlák, Pavel

Year:

2008

Language:

english

File:

PDF, 333 KB

english, 2008

73

Parity Games and Propositional Proofs

Beckmann, Arnold, Pudlák, Pavel, Thapen, Neil

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 430 KB

english, 2014

74

Random resolution refutations

Pudlák, Pavel, Thapen, Neil

Journal:

Computational Complexity

Year:

2019

Language:

english

File:

PDF, 554 KB

english, 2019

75

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) || The Superjump in Martin-Löf Type Theory

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

Year:

2016

Language:

english

File:

PDF, 317 KB

english, 2016

76

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) || Opening speech of Petr Vopěnka

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

Year:

2016

Language:

english

File:

PDF, 47 KB

english, 2016

77

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

Year:

2013

Language:

english

File:

PDF, 843 KB

english, 2013

78

Propositional proof systems, the consistency of first order theories and the complexity of computations

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

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.05 MB

english, 1989

79

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) || “Just Because”: Taking Belief Bases Seriously

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

Year:

2016

Language:

english

File:

PDF, 250 KB

english, 2016

80

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) || Bolzano Medal awarded to Gaisi Takeuti

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

Year:

2016

Language:

english

File:

PDF, 82 KB

english, 2016

81

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

82

Cycles of Nonzero Elements in Low Rank Matrices

Journal:

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

83

Metamathematics of First-Order Arithmetic || Preface to the Series Perspectives in Mathematical Logic

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 124 KB

english, 2016

84

An Application of Hindman's Theorem to a Problem on Communication Complexity

Journal:

Combinatorics Probability & Computing

Year:

2003

Language:

english

File:

PDF, 153 KB

english, 2003

85

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) || Collapsing Polynomial-Time Degrees

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

Year:

2016

Language:

english

File:

PDF, 301 KB

english, 2016

86

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) || Artin Approximation via the Model Theory of Cohen-Macaulay Rings

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

Year:

2016

Language:

english

File:

PDF, 263 KB

english, 2016

87

The complexity of proving that a graph is Ramsey

Lauria, Massimo, Pudlák, Pavel, Rödl, Vojtěch, Thapen, Neil

Journal:

Year:

2017

Language:

english

File:

PDF, 398 KB

english, 2017

88

Metamathematics of First-Order Arithmetic || Authors' Preface

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 99 KB

english, 2016

89

Representations of Monotone Boolean Functions by Linear Programs

Oliveira, Mateus De Oliveira, Pudlák, Pavel

Journal:

ACM Transactions on Computation Theory

Year:

2019

Language:

english

File:

PDF, 421 KB

english, 2019

90

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) || Ordinal Systems, Part 2: One Inaccessible

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

Year:

2016

Language:

english

File:

PDF, 302 KB

english, 2016

91

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

92

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

Year:

2013

Language:

english

File:

PDF, 848 KB

english, 2013

93

Tight Bounds on Computing Error-Correcting Codes by Bounded-Depth Circuits With Arbitrary Gates

Gal, Anna, Hansen, Kristoffer Arnsfelt, Koucky, Michal, Pudlak, Pavel, Viola, Emanuele

Journal:

IEEE Transactions on Information Theory

Year:

2013

Language:

english

File:

PDF, 4.25 MB

english, 2013

94

Magnetic poly(d,l-lactide) nanoparticles loaded with aliskiren: A promising tool for hypertension treatment

Antal, Iryna, Kubovcikova, Martina, Zavisova, Vlasta, Koneracka, Martina, Pechanova, Olga, Barta, Andrej, Cebova, Martina, Antal, Vitaliy, Diko, Pavel, Zduriencikova, Martina, Pudlak, Michal, Kopcansk

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2015

Language:

english

File:

PDF, 2.68 MB

english, 2015

95

Nelson Edward. Predicative arithmetic. Mathematical notes, no. 32. Princeton University Press, Princeton 1986, viii + 189 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 415 KB

english, 1988

96

Some Prime Elements in the Lattice of Interpretability Types

Journal:

Transactions of the American Mathematical Society

Year:

1983

File:

PDF, 2.39 MB

1983

97

Metamathematics of First-Order Arithmetic || Introduction

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 212 KB

english, 2016

98

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) || Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals

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

Year:

2016

Language:

english

File:

PDF, 385 KB

english, 2016

99

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) || Relative Splittings of in the-Enumeration Degrees

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

Year:

2016

Language:

english

File:

PDF, 245 KB

english, 2016

100

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

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски