Simple Classes of Automatic StructuresArticle
Authors: Achim Blumensath
NULL
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 groups and the equivalence structures in these two classes.
Volume: Volume 22, Issue 1
Published on: January 9, 2026
Accepted on: November 16, 2025
Submitted on: June 3, 2025
Keywords: Logic in Computer Science, Logic