KIT | KIT-Bibliothek | Impressum

Narrowing as operational semantics for logic-functional programming

Bockmayr, Alexander



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 254889
Erscheinungsvermerk In: 1st German Workshop Term Rewriting: Theory and Applications. Ed.: J. Mueller. Kaiserslautern: Univ. 1989. (SEKI Report. 89,02.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page