6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
5 - Resolution
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 93-114
-
- Chapter
- Export citation
Preface
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp xiii-xiv
-
- Chapter
- Export citation
3 - Sequent Calculus
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 64-80
-
- Chapter
- Export citation
1 - Concepts and Problems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 11-38
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 481-505
-
- Chapter
- Export citation
14 - LKd+1/2 and Combinatorial Restrictions
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 296-305
-
- Chapter
- Export citation
12 - Beyond EF via the || . . . || Translation
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 233-260
-
- Chapter
- Export citation
2 - Frege Systems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 39-63
-
- Chapter
- Export citation
Introduction
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 1-8
-
- Chapter
- Export citation
18 - Feasible Interpolation: Applications
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 384-410
-
- Chapter
- Export citation
Dedication
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp v-vi
-
- Chapter
- Export citation
4 - Quantified Propositional Calculus
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 81-92
-
- Chapter
- Export citation
22 - The Nature of Proof Complexity
- from Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 472-480
-
- Chapter
- Export citation
13 - R and R-Like Proof Systems
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 263-295
-
- Chapter
- Export citation
7 - Further Proof Systems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 134-162
-
- Chapter
- Export citation
15 - Fd and Logical Restrictions
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 306-336
-
- Chapter
- Export citation
Special Symbols
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 506-509
-
- Chapter
- Export citation
19 - Hard Tautologies
- from Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 413-441
-
- Chapter
- Export citation
17 - Feasible Interpolation: A Framework
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 353-383
-
- Chapter
- Export citation
8 - Basic Example of the Correspondence between Theories and Proof Systems
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 165-184
-
- Chapter
- Export citation