Login / Signup
Modal µ-Calculus and Alternating Tree Automata.
Júlia Zappe
Published in:
Automata, Logics, and Infinite Games (2001)
Keyphrases
</>
tree automata
finite state
transition systems
regular expressions
finite automata
markov chain
modal logic
tree languages
syntactic pattern recognition
finite automaton
model checking
databases
context free grammars
tableau calculus
matching algorithm
monadic second order logic