Publication
Detail
Publication date: 01/07/2010Tight Semantics for Logic Programs
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 |