[Back]


Doctor's Theses (authored and supervised):
B. Woltzenlogel-Paleo:
"A GeneralAnalysis of Cut-Elimination by CERES";
Supervisor, Reviewer: A. Leitsch; Institut für Computersprachen E185/2, 2009; oral examination: 2009-08-28.

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