Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings.

Arnaud Carayol Christof Löding Olivier Serre

Published in: LICS (2016)

Keyphrases

tree automata
regular expressions
decision trees
cellular automata
labeled trees
leaf nodes
finite state
finite automata
database
constraint programming
regular languages
linear constraints
tree structures
tree languages