Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Browse the full LICS paper archive.