A uniform approach to logic programming semantics
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | ISSN: 1471-0684 KITopen-ID: 1000004565 |
| Erschienen in | Theory and Practice of Logic Programming |
| Verlag | Cambridge University Press (CUP) |
| Band | 5 |
| Heft | 1-2 |
| Seiten | 123-159 |