Original language | English |
---|---|
Title of host publication | 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. |
Subtitle of host publication | LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. |
Publication status | Published - 14 Jan 2020 |
From classical proof theory to P vs. NP: a guide to bounded theories
Iddo Tzameret
Research output: Chapter in Book/Report/Conference proceeding › Other contribution