Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 212
Número: C
Páxinas: 149-162
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 212
Número: C
Páxinas: 149-162
Tipo: Artigo