[Back]


Doctor's Theses (authored and supervised):
P. Baldi:
"Standard completeness: Proof-theoretic and algebraic methods";
Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12.

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