From classical proof theory to P vs. NP: a guide to bounded theories. / Tzameret, Iddo.

28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. . 2020.

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

Published
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

ID: 35019194