Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Author
Department/s
Publishing year
2015
Language
English
Publication/Series
Preprint without journal information
Links
Document type
Journal article
Publisher
Manne Siegbahn Institute
Topic
- Philosophy
Status
Unpublished
ISBN/ISSN/Other
- ISSN: 0348-7911
- arXiv:1501.07215