On Acyclic and head-cycle free nested logic programs
Author details: | Thomas Linke, Hans Tompits, Stefan WoltranORCiDGND |
---|---|
ISBN: | 3-540-22671-01 |
Publication type: | Article |
Language: | English |
Year of first publication: | 2004 |
Publication year: | 2004 |
Release date: | 2017/03/24 |
Source: | 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 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer review: | Nicht ermittelbar |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |