2 results
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
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