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 = {}, }

Powered by bibtexbrowser