On Acyclic and head-cycle free nested logic programs
Verfasserangaben: | Thomas Linke, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
ISBN: | 3-540-22671-01 |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2004 |
Erscheinungsjahr: | 2004 |
Datum der Freischaltung: | 24.03.2017 |
Quelle: | Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6 - 10, 2004 ; proceedings / Hrsg.: Bart Demoen ; Vladimir Lifschitz. - Berlin : Springer, 2004. - ISBN: 3-540-22671-01. - (Lecture notes in computer science ; 3132). - S. 225 - 239 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer Review: | Nicht ermittelbar |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |