[Back]


Doctor's Theses (authored and supervised):

D. Cerna:
"Advances in Schematic Cut Elimination";
Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14.


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