KIT | KIT-Bibliothek | Impressum | Datenschutz

LSE narrowing for decreasing conditional term rewriting systems

Bockmayr, Alexander; 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: 270595
Erscheinungsvermerk In: Conditional and typed rewriting systems. CTRS-94. Ed.: N. Dershowitz. Berlin 1995. S. 51-70. (Lecture notes in computer science. 968.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page