Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, W. Faber, P. Traxler:
"Testing Strong Equivalence of Datalog Programs: Implementation and Examples";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Diamante, Italy;
2005-09-05
- 2005-09-08; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)",
C. Baral et al. (ed.);
Springer,
LNCS 3662
(2005),
ISBN: 3-540-28538-5;
437
- 441.
Created from the Publication Database of the Vienna University of Technology.