[Back]


Diploma and Master Theses (authored and supervised):
A. Heindl:
"On Replacements in Answer-Set Programming based On Partial Evaluation";
Supervisor: H. Tompits, S. Woltran; Institut für Informationssysteme, 2007; final examination: 2007-02-28.

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