Level mapping characterizations of selector-generated models for logic programs
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | ISSN: 0939-5091 KITopen-ID: 1000018150 |
| Erschienen in | 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21 - 23, 2005. Ed.: A. Wolf |
| Verlag | Univ. Ulm |
| Seiten | 65 - 75 |
| Serie | Ulmer Informatik-Berichte ; 2005,01 |