[Back]


Doctor's Theses (authored and supervised):
M. Lettmann:
"Algorithmic Introduction of ∏2-Cut";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30.

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