Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.

Sebastian Enqvist Fatemeh Seifan Yde Venema

Published in: LICS (2015)

Keyphrases

monadic second order logic
expressive power
data complexity
tree automata
regular expressions
first order logic
query language
invariant features
database
data sets
object oriented
context dependent
equivalence relation