[Back]


Habilitation Theses:

S. Woltran:
"Contributions to Advanced Equivalence Checking in Answer Set Programming";
TU Wien, Fakultät für Informatik, 2008.


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