[Back]


Diploma and Master Theses (authored and supervised):
C. Antic:
"Uniform Approximation-Theoretic Semantics for Logic Programs with External Atoms";
Supervisor: T. Eiter, M. Fink; Institut für Informationssysteme, 2012; final examination: 2012-11-20.

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