20 - Model Theory and Lower Bounds
from Part IV - Beyond Bounds
Published online by Cambridge University Press: 25 March 2019
Summary
- Type
- Chapter
- Information
- Proof Complexity , pp. 442 - 455Publisher: Cambridge University PressPrint publication year: 2019