Talks and Poster Presentations (with Proceedings-Entry):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007),
Mexico City;
2007-11-04
- 2007-11-09; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)",
(2007).
Created from the Publication Database of the Vienna University of Technology.