KIT | KIT-Bibliothek | Impressum

Implicit, explicit and consistent-explicit basic-indexing. Extended abstract

Gollner, Michael



Zugehörige Institution(en) am KIT Sonderforschungsbereich 314 (SFB 314)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 14792
Erscheinungsvermerk In: The implementation of logical-functional languages. Ed.: M. Gollner. Karlsruhe 1992. S. 3-6. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1992,10.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page