Login / Signup
Bisimulation invariant monadic-second order logic in the finite.
Achim Blumensath
Felix Wolf
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
monadic second order logic
expressive power
tree automata
finite automata
first order logic
regular expressions
relational databases
low level
data complexity
data sets
databases
natural language