[Back]


Doctor's Theses (authored and supervised):
T. Lyon:
"Refining Labelled Systems for Modal and Constructive Logics with Applications";
Supervisor, Reviewer: A. Ciabattoni, R. Ramanayake; Logic and Computation, 2021; oral examination: 2021-07-29.

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