[Back]


Doctor's Theses (authored and supervised):
T. Libal:
"Unification in Higher-order Resolution";
Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22.

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