Login / Signup
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
Achim Blumensath
Felix 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