Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

New York, NY / ACM Press (2016) [Contribution to a book, Contribution to a conference proceedings]

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): 227-236


Selected Authors

Carayol, Arnaud
Löding, Christof
Serre, Olivier