[Back]


Doctor's Theses (authored and supervised):
Clemens Richter:
"Proof Transformations by Resolution";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen 185-2, 2006; oral examination: 2006-07-04.

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