Proof Complexity
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9781108242066, 9781108416849

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Examples of Upper Bounds and p-Simulations

Proof Complexity ◽

10.1017/9781108242066.013 ◽

2019 ◽

pp. 211-232

Keyword(s):

Upper Bounds

Download Full-text

Further Proof Systems

Proof Complexity ◽

10.1017/9781108242066.009 ◽

2019 ◽

pp. 134-162

Keyword(s):

Proof Systems

Download Full-text

Feasible Interpolation: Applications

Proof Complexity ◽

10.1017/9781108242066.020 ◽

2019 ◽

pp. 384-410

Download Full-text

Algebraic and Geometric Proof Systems

Proof Complexity ◽

10.1017/9781108242066.018 ◽

2019 ◽

pp. 337-352

Keyword(s):

Geometric Proof ◽

Proof Systems

Download Full-text

R and R-Like Proof Systems

Proof Complexity ◽

10.1017/9781108242066.015 ◽

2019 ◽

pp. 263-295

Keyword(s):

Proof Systems

Download Full-text

Frege Systems

Proof Complexity ◽

10.1017/9781108242066.004 ◽

2019 ◽

pp. 39-63

Keyword(s):

Frege Systems

Download Full-text

Resolution

Proof Complexity ◽

10.1017/9781108242066.007 ◽

2019 ◽

pp. 93-114

Download Full-text

Beyond EF via the || . . . || Translation

Proof Complexity ◽

10.1017/9781108242066.014 ◽

2019 ◽

pp. 233-260

Download Full-text

Preface

Proof Complexity ◽

10.1017/9781108242066.001 ◽

2019 ◽

pp. xiii-xiv

Download Full-text

Feasible Interpolation: A Framework

Proof Complexity ◽

10.1017/9781108242066.019 ◽

2019 ◽

pp. 353-383

Download Full-text