16 citations · 39 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
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…