[Back]


Doctor's Theses (authored and supervised):
T. Dunchev:
"Automation of cut-elimination in proof schemata";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.

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