KIT | KIT-Bibliothek | Impressum

Usage and treatment of extra variables

Gollner, Michael



Zugehörige Institution(en) am KIT Sonderforschungsbereich 314 (SFB 314)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1995
Sprache Englisch
Identifikator KITopen ID: 6995
Erscheinungsvermerk In: 3rd Workshop on Functional/Logic Programming. Schwarzenberg, Jan. 1994. Ed.: H.C.R. Lock. Karlsruhe 1995. 7 S. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,36.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page