EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (214 KB) Odersky_Martin.pdf2.pdf (230 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA3686960
Titel A syntactic method for proving observational equivalences.
Autor Odersky, Martin
Institution Fakultät für Informatik (INFORMATIK)
Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Jahr 1996
Erscheinungsvermerk New Haven, Conn. 1993. (Research report. Department of Computer Science, Yale University. 964.)