## Satoru Kuroda

*Axiomatizing proof tree concepts in Bounded Arithmetic*

CSL, 2012.

@inproceedings{CSL-2012-Kuroda, author = "Satoru Kuroda", booktitle = "{Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2012.440", isbn = "978-3-939897-42-2", pages = "440--454", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Axiomatizing proof tree concepts in Bounded Arithmetic}", volume = 16, year = 2012, }