KIT | KIT-Bibliothek | Impressum | Datenschutz

leanEA: a lean evolving algebra compiler

Beckert, Bernhard; Posegga, Joachim



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 32795
Erscheinungsvermerk In: Logik in der Informatik. 3. Jahrestagung der GI-Fachgruppe 0.1.6. Hrsg.: P.H. Schmitt. Karlsruhe 1995. S. 28-37. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,23.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page