Login / Signup
Alternating Tree Automata with Qualitative Semantics.
Raphaël Berthon
Nathanaël Fijalkow
Emmanuel Filiot
Shibashis Guha
Bastien Maubert
Aniello Murano
Laureline Pinault
Sophie Pinchinat
Sasha Rubin
Olivier Serre
Published in:
ACM Trans. Comput. Log. (2021)
Keyphrases
</>
tree automata
finite automata
regular expressions
finite state
tree languages
syntactic pattern recognition
finite automaton
database
context free grammars
high level
markov chain
semantic information
model checking
conceptual model
semantic representation