Alternative characterizations for program equivalence under aswer-set semantics : a preliminary report
Verfasserangaben: | Martin GebserORCiD, Torsten SchaubORCiDGND, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2007 |
Erscheinungsjahr: | 2007 |
Datum der Freischaltung: | 25.03.2017 |
Quelle: | Proceedings of the Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT'07) / Hrsg.: D. Pearce ; A. Polleres ; A. Valverde ; S. Woltran. - 2007. - S. 37 - 48 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |