KIT | KIT-Bibliothek | Impressum | Datenschutz

Normalizing narrowing for weakly terminating and confluent systems

Werner, Andreas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 270995
Erscheinungsvermerk In: Principles and practice of constraint programming - CP '95. Ed.: U. Montanari. Berlin 1995. S. 415-430. (Lecture notes in computer science. 976.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page