Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) Universität Karlsruhe (TH) – Interfakultative Einrichtungen (Interfakultative Einrichtungen) Sonderforschungsbereich 314 (SFB 314) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 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.) |