Login / Signup

Bisimulation invariant monadic-second order logic in the finite.

Achim BlumensathFelix 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