Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
(2015) In Preprint without journal information
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/5034843
- author
- Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde
- organization
- publishing date
- 2015
- type
- Contribution to journal
- publication status
- unpublished
- subject
- in
- Preprint without journal information
- publisher
- Manne Siegbahn Institute
- external identifiers
-
- other:arXiv:1501.07215
- ISSN
- 0348-7911
- language
- English
- LU publication?
- yes
- id
- 4331e16f-d555-44eb-bbc3-79236aa2809b (old id 5034843)
- alternative location
- http://arxiv-web3.library.cornell.edu/abs/1501.07215
- date added to LUP
- 2016-04-04 14:04:10
- date last changed
- 2018-11-21 21:18:05
@article{4331e16f-d555-44eb-bbc3-79236aa2809b, author = {{Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde}}, issn = {{0348-7911}}, language = {{eng}}, publisher = {{Manne Siegbahn Institute}}, series = {{Preprint without journal information}}, title = {{Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras}}, url = {{http://arxiv-web3.library.cornell.edu/abs/1501.07215}}, year = {{2015}}, }