Talks and Poster Presentations (with Proceedings-Entry):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007),
- 2007-10-06; 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)",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.