[Back]


Doctor's Theses (authored and supervised):

M. Rukhaia:
"CERES in Proof Schemata";
Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.


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