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]

Abstract

Abstract is missing.