Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (bibtex)

by Sebastian Enqvist, Fatemeh Seifan and Yde Venema

Reference:

Sebastian Enqvist, Fatemeh Seifan and Yde Venema: Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras, In Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), LICS '15, pp. 353–365, IEEE Computer Society, 2015.

Bibtex Entry:

@inproceedings{Enq:Mon15,
 author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
 title = {Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras},
 booktitle = {Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series = {LICS '15},
 year = {2015},
 isbn = {978-1-4799-8875-4},
 pages = {353--365},
 numpages = {13},
 url = {http://dx.doi.org/10.1109/LICS.2015.41},
 doi = {},
 acmid = {},
 publisher = {IEEE Computer Society},
 address = {},
}