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

Standard

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

Harvard

Tzameret, I 2020, From classical proof theory to P vs. NP: a guide to bounded theories. in 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

APA

Tzameret, I. (2020). From classical proof theory to P vs. NP: a guide to bounded theories. In 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020.

Vancouver

Tzameret I. From classical proof theory to P vs. NP: a guide to bounded theories. In 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

Author

Tzameret, Iddo. / From classical proof theory to P vs. NP: a guide to bounded theories. 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.

BibTeX

@inbook{4091eba617f94e808a5c90c057c41c51,
title = "From classical proof theory to P vs. NP: a guide to bounded theories",
author = "Iddo Tzameret",
year = "2020",
month = jan,
day = "14",
language = "English",
booktitle = "28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain.",

}

RIS

TY - CHAP

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

AU - Tzameret, Iddo

PY - 2020/1/14

Y1 - 2020/1/14

M3 - Other contribution

BT - 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain.

ER -