KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models

Hitzler, Pascal; Schwarz, Sibylle



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Forschungsbericht
Jahr 2005
Sprache Englisch
Identifikator KITopen-ID: 1000091451
Bemerkung zur Veröffentlichung arXiv:cs/0511038vl
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page