Talks and Poster Presentations (with Proceedings-Entry):

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
Talk: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 2006-11-21 - 2006-11-24; in: "Proceedings of CIC-06", IEEE Computer Society, (2006), ISBN: 978-0-7695-2708-6; 3 - 11.

Online library catalogue of the TU Vienna:

Related Projects:
Project Head Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration

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