[Back]


Doctor's Theses (authored and supervised):

M. Triska:
"Correctness Considerations in CLP(FD) Systems";
Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 2014-01-29.



Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_237112.pdf


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