[Back]


Diploma and Master Theses (authored and supervised):
P. Bahr:
"Infinitary Rewriting - Theory and Applications";
Supervisor: B. Gramlich; Computersprachen, 2009; final examination: 2009-09-24.

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