Bisimulation Invariant Monadic-Second Order Logic in the Finite.

Achim Blumensath Felix Wolf

Published in: CoRR (2019)

Keyphrases

monadic second order logic
expressive power
affine transformation
tree automata
database
multi agent systems
regular expressions