Simulations Up-to and Canonical Preorders. (Extended Abstract)
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 192
Nummer: 1 SPEC. ISS.
Seiten: 13-28
Art: Artikel
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 192
Nummer: 1 SPEC. ISS.
Seiten: 13-28
Art: Artikel