## Iddo Tzameret

*From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk)*

CSL, 2020.

@inproceedings{CSL-2020-Tzameret, author = "Iddo Tzameret", booktitle = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2020.5", isbn = "978-3-95977-132-0", pages = "2", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk)}", year = 2020, }