Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
Vortrag: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007),
Würzburg, Germany;
04.10.2007
- 06.10.2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)",
Seite 254-257
(2007),
4 S.
Elektronische Version der Publikation:
http://www1.informatik.uni-wuerzburg.de/databases/INAP/2007/TR/report.pdf