From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems

LENISA, Marina

1999

conference object

Periodico

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

DOI

10.1016/S1571-0661(05)80265-8

Archivio

http://hdl.handle.net/11390/683430

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0942291418

Diritti

closed access

Scopus© citazioni

33

Data di acquisizione
Jun 14, 2022

Visualizzazioni

4

Data di acquisizione
Apr 19, 2024