Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
ISSN: 1571-0661
Year of publication: 2008
Volume: 212
Issue: C
Pages: 149-162
Type: Article
ISSN: 1571-0661
Year of publication: 2008
Volume: 212
Issue: C
Pages: 149-162
Type: Article