Automata on finite trees

Christof Löding, Wolfgang Thomas. Automata on finite trees. In Jean-Éric Pin, editor, Handbook of Automata Theory. pages 235-264, European Mathematical Society Publishing House, Zürich, Switzerland, 2021. [doi]

Authors

Christof Löding

This author has not been identified. Look up 'Christof Löding' in Google

Wolfgang Thomas

This author has not been identified. Look up 'Wolfgang Thomas' in Google