KIT | KIT-Bibliothek | Impressum

Abstract properties and computational complexity of semantics for disjunctive logic programs

Dix, Juergen; Mueller, Martin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 255492
Erscheinungsvermerk In: Structural complexity and recursion- theoretic methods in logic programming. Proceedings of the Workshop W1, following the IJCSLP '92, 1992. Ed.: H. Blair. S. 15-28.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page