Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
ISSN: 1571-0661
Any de publicació: 2008
Volum: 212
Número: C
Pàgines: 149-162
Tipus: Article
ISSN: 1571-0661
Any de publicació: 2008
Volum: 212
Número: C
Pàgines: 149-162
Tipus: Article