[Zurück]


Beiträge in Tagungsbänden:

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (Hrg.); Springer, 2009, ISBN: 978-3-642-00674-6, S. 241 - 246.



Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_177140.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.