KIT | KIT-Bibliothek | Impressum | Datenschutz

A basis for model computation in free data types

Ahrendt, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 31192000
Erscheinungsvermerk In: Proceedings of the CADE-17 Workshop on Model Computation: Principles, Algorithms, Applications, Pittsburgh, PA 2000 [online].
URLs Siehe auch
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page