[Back]


Diploma and Master Theses (authored and supervised):
P. Geisler:
"The GUHA-Method and its applications";
Supervisor: A. Ciabattoni; Logic and Computation, 2021.

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