Usage and treatment of extra variables
| 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.) |