TY  - RPRT
TI  - Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
AU  - Sebastian Enqvist
AU  - Fatemeh Seifan
AU  - Yde Venema
PY  - 2015
UR  - https://arxiv.org/abs/1501.07215
ID  - 1501.07215
ER  -