Similar Items: The Expansion Problem for Infinite Trees
- Regular matching problems for infinite trees
- Ambiguity Hierarchy of Regular Infinite Tree Languages
- A Functional (Monadic) Second-Order Theory of Infinite Trees
- Revisiting Call-by-value Böhm trees in light of their Taylor expansion
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra