[Back]


Doctor's Theses (authored and supervised):

S. Hetzl:
"Characteristic Clause Sets and Proof Transformations";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14.



Electronic version of the publication:
http://www.logic.at/staff/hetzl/phdthesis.pdf


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