[Back]


Doctor's Theses (authored and supervised):
M. Riener:
"Applications of Higher-Order Cut-Elimination";
Supervisor, Reviewer: A. Leitsch, C. Benzmüller; Institut für Computersprachen, 2018.

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