KIT | KIT-Bibliothek | Impressum

How to realize LSE narrowing

Werner, Andreas; Bockmayr, Alexander; Krischer, Stefan



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 256394
Erscheinungsvermerk In: Algebraic and logic programming. ALP '94. Ed.: G. Levi. Berlin 1994. S. 59-76. (Lecture notes in computer science. 850.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page