• search hit 12 of 14
Back to Result List

Alternative characterizations for program equivalence under aswer-set semantics : a preliminary report

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Martin GebserORCiD, Torsten SchaubORCiDGND, Hans Tompits, Stefan Woltran
Document Type:Article
Language:English
Year of first Publication:2007
Year of Completion:2007
Release Date:2017/03/25
Source: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
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik