Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
ISSN: 1571-0661
Año de publicación: 2008
Volumen: 212
Número: C
Páginas: 149-162
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2008
Volumen: 212
Número: C
Páginas: 149-162
Tipo: Artículo