[Back]


Diploma and Master Theses (authored and supervised):
T. Dunchev:
"Simplification of Herbrand Sequents";
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.