[Back]


Diploma and Master Theses (authored and supervised):
T. Libal:
"Cut-Elimination in Inductive Proofs of Weakly Quantified Theorems";
Supervisor: A. Leitsch; Institut für Computersprachen E185/2, 2008.

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