[Back]


Publications in Scientific Journals:

A. Leitsch, D. Cerna:
"Schematic Cut elimination and the Ordered Pigeonhole Principle";
CoRR - Computing Research Repository, abs/1601.06548 (2016), abs/1601.06548.



Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_251527.pdf


Created from the Publication Database of the Vienna University of Technology.