Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

Carayol, Arnaud (Corresponding author); Löding, Christof (Corresponding author); Serre, Olivier (Corresponding author)

New York, NY : ACM Press (2016)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
Page(s)/Article-Nr.: 227-236