Detail

Publication date: 01/07/2010

Tight Semantics for Logic Programs

Authors

Luís Moniz Pereira, M. Hermenegildo, Alexandre Pinto, Torsten Schaub,

URL http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=2591
Publisher Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany
Series Leibniz International Proceedings in Informatics (LIPIcs)
Volume 7
ISBN 978-3-939897-17-0
ISSN 1868-8969
Address http://drops.dagstuhl.de/portals/extern/index.php?semnr=10003
URL http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=2591
Publisher Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany
Series Leibniz International Proceedings in Informatics (LIPIcs)
Volume 7
ISBN 978-3-939897-17-0
ISSN 1868-8969
Address http://drops.dagstuhl.de/portals/extern/index.php?semnr=10003