Login / Signup

Bisimulation Invariant Monadic-Second Order Logic in the Finite.

Achim BlumensathFelix Wolf
Published in: ICALP (2018)
Keyphrases
  • monadic second order logic
  • affine transformation
  • expressive power
  • first order logic
  • data complexity
  • finite automata
  • tree automata
  • database
  • databases
  • fuzzy logic