[Back]


Diploma and Master Theses (authored and supervised):
M. Rukhaia:
"CERES and Fast Cut-Elimination";
Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2009; final examination: 2009-09-09.

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