From classical proof theory to P vs. NP: a guide to bounded theories

Iddo Tzameret

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageEnglish
Title of host publication28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain.
Subtitle of host publicationLIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020.
Publication statusPublished - 14 Jan 2020

Cite this