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

Further Proof Systems

Proof Complexity ◽

10.1017/9781108242066.009 ◽

2019 ◽

pp. 134-162

Keyword(s):

Proof Systems

Feasible Interpolation: Applications

Proof Complexity ◽

10.1017/9781108242066.020 ◽

2019 ◽

pp. 384-410

Algebraic and Geometric Proof Systems

Proof Complexity ◽

10.1017/9781108242066.018 ◽

2019 ◽

pp. 337-352

Keyword(s):

Geometric Proof ◽

Proof Systems

R and R-Like Proof Systems

Proof Complexity ◽

10.1017/9781108242066.015 ◽

2019 ◽

pp. 263-295

Keyword(s):

Proof Systems

Frege Systems

Proof Complexity ◽

10.1017/9781108242066.004 ◽

2019 ◽

pp. 39-63

Keyword(s):

Frege Systems

Resolution

Proof Complexity ◽

10.1017/9781108242066.007 ◽

2019 ◽

pp. 93-114

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

Proof Complexity ◽

10.1017/9781108242066.014 ◽

2019 ◽

pp. 233-260

Preface

Proof Complexity ◽

10.1017/9781108242066.001 ◽

2019 ◽

pp. xiii-xiv

Feasible Interpolation: A Framework

Proof Complexity ◽

10.1017/9781108242066.019 ◽

2019 ◽

pp. 353-383