Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
ISSN: 1571-0661
Année de publication: 2008
Volumen: 212
Número: C
Pages: 149-162
Type: Article
ISSN: 1571-0661
Année de publication: 2008
Volumen: 212
Número: C
Pages: 149-162
Type: Article