Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Introduction
- Part I Basic Concepts
- Part II Upper Bounds
- Part III Lower Bounds
- 13 R and R-Like Proof Systems
- 14 LKd+1/2 and Combinatorial Restrictions
- 15 Fd and Logical Restrictions
- 16 Algebraic and Geometric Proof Systems
- 17 Feasible Interpolation: A Framework
- 18 Feasible Interpolation: Applications
- Part IV Beyond Bounds
- Bibliography
- Special Symbols
- Index
18 - Feasible Interpolation: Applications
from Part III - Lower Bounds
Published online by Cambridge University Press: 25 March 2019
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Introduction
- Part I Basic Concepts
- Part II Upper Bounds
- Part III Lower Bounds
- 13 R and R-Like Proof Systems
- 14 LKd+1/2 and Combinatorial Restrictions
- 15 Fd and Logical Restrictions
- 16 Algebraic and Geometric Proof Systems
- 17 Feasible Interpolation: A Framework
- 18 Feasible Interpolation: Applications
- Part IV Beyond Bounds
- Bibliography
- Special Symbols
- Index
Summary
Keywords
- Type
- Chapter
- Information
- Proof Complexity , pp. 384 - 410Publisher: Cambridge University PressPrint publication year: 2019