Simulations Up-to and Canonical Preorders. (Extended Abstract)
ISSN: 1571-0661
Ano de publicación: 2007
Volume: 192
Número: 1 SPEC. ISS.
Páxinas: 13-28
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 2007
Volume: 192
Número: 1 SPEC. ISS.
Páxinas: 13-28
Tipo: Artigo