[Back]


Doctor's Theses (authored and supervised):
L. Spendier:
"Tools for the investigation of non-classical logics";
Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18.

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