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

Arnaud Carayol, Christof Lding, Olivier Serre

Browse the full LICS paper archive.