KIT | KIT-Bibliothek | Impressum | Datenschutz

An order-sorted functional-locical language with LSE-tests

Gollner, Michael


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 129993
Erscheinungsvermerk In: 2nd International Workshop on Functional/ Logic Programming, Rattenberg 1993. Ed.: A. Mueck. Muenchen 1993. S. 35-50. (Bericht. Ludwig-Maximilians-Universitaet Muenchen. 9311.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page