Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel PalominoVolume:
212
Year:
2008
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2008.04.059
File:
PDF, 310 KB
english, 2008