KIT | KIT-Bibliothek | Impressum

Logic at Botic '89, Symposium on Logical Foundations of Computer Science

Heisel, Maritta; Reif, Wolfgang; Stephan, Werner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 138789
Erscheinungsvermerk Bull. of the EATCS 39 (1989) S. 255-260.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page