Automata for Tree TSL pt.2 (Sept 22)

Kenneth and Thomas will continue their presentation on an automata-theoretic perspective on TSL tree languages.