[Back]


Doctor's Theses (authored and supervised):
G. Reis:
"Cut-elimination by resolution in intuitionistic logic";
Supervisor, Reviewer: A. Leitsch, R. Iemhoff; Institut für Computersprachen, 2014; oral examination: 2014-07-16.

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