Automata for two-variable logic over trees with ordered data values

Tony Tan

Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value from an infinite domain. They have been used as an abstraction m…