[Back]


Diploma and Master Theses (authored and supervised):
M. Riener:
"Integrating Theories into Inference Systems";
Supervisor: A. Leitsch; Institut für Computersprachen, 2011; final examination: 2011-03-23.

Electronic version of the publication:
http://www.logic.at/people/riener/docs/diplomarbeit-webfinal.pdf

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