[Back]


Diploma and Master Theses (authored and supervised):
A. Condoluci:
"Ceres in aussagenlogischen Beweisschemata";
Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-10-07.

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