Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

New York, NY / ACM Press (2016) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Carayol, Arnaud
Löding, Christof
Serre, Olivier