An Automata Model for Trees with Ordered Data Values

DOI10.1109/LICS.2012.69zbMath1361.68124MaRDI QIDQ2986837

Tony Tan

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

automatatwo-variable logicdata unranked treesordered data values

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Data structures (68P05)

Related Items (3)

Solving Infinite Games in the Baire Space ⋮ Forward and backward application of symbolic tree transducers ⋮ $$\mathbb {N}$$ -Memory Automata over the Alphabet $$\mathbb {N}$$

This page was built for publication: An Automata Model for Trees with Ordered Data Values