Monadic second-order logic and bisimulation invariance for coalgebras
(2015) 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) p.353-365
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/7864903
- author
- Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde
- organization
- publishing date
- 2015
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Logic in Computer Science (LICS 2015)
- editor
- Bilof, Randall
- pages
- 353 - 365
- publisher
- Institute for Electrical and Electronics Engineers
- conference name
- 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
- conference location
- Kyoto, Japan
- conference dates
- 2015-07-06 - 2015-07-10
- external identifiers
-
- scopus:84945966706
- language
- English
- LU publication?
- yes
- id
- 967a81a7-c498-4cd6-ae37-5bdaf0b9e70d (old id 7864903)
- date added to LUP
- 2016-04-04 10:41:26
- date last changed
- 2022-01-29 20:42:19
@inproceedings{967a81a7-c498-4cd6-ae37-5bdaf0b9e70d, author = {{Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde}}, booktitle = {{Logic in Computer Science (LICS 2015)}}, editor = {{Bilof, Randall}}, language = {{eng}}, pages = {{353--365}}, publisher = {{Institute for Electrical and Electronics Engineers}}, title = {{Monadic second-order logic and bisimulation invariance for coalgebras}}, year = {{2015}}, }