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