KIT | KIT-Bibliothek | Impressum | Datenschutz

A syntactic method for proving observational equivalences

Odersky, Martin

Open Access Logo


Volltext §
DOI: 10.5445/IR/368696
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 1996
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA3686960
KITopen-ID: 368696
Erscheinungsvermerk New Haven, Conn. 1993. (Research report. Department of Computer Science, Yale University. 964.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page