KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3686960

A syntactic method for proving observational equivalences

Odersky, Martin



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht
Jahr 1996
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-AAA3686960
KITopen ID: 368696
Serie Research report. Department of Computer Science, Yale University ; 964
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