KIT | KIT-Bibliothek | Impressum

Many-sorted unification

Walther, Christoph



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1989
Sprache Deutsch
Identifikator KITopen ID: 255789
Erscheinungsvermerk J. of the ACM 35 (1988) S. 1-17.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page