Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.

Sebastian Enqvist Fatemeh Seifan Yde Venema

Published in: CoRR (2015)

Keyphrases

monadic second order logic
expressive power
data complexity
tree automata
regular expressions
first order logic
query language
data sets
machine learning
low level