3 papers
cs.FL2026
The Expansion Problem for Infinite Trees
Achim Blumensath
We study Ramsey like theorems for infinite trees and similar combinatorial tools. As an application we consider the expansion problem for tree algebras.
cs.LO2026
Simple Classes of Automatic Structures
Achim Blumensath
We study two subclasses of the class of automatic structures: automatic structures of polynomial growth and Presburger structures. We present algebraic characterisations of the gro…
cs.LO2025
Automata for Enriched Trees and Applications
Achim Blumensath
We study trees where each successor set is equipped with some additional structure. We introduce a family of automaton models for such trees and prove their equivalence to certain…