Simple Classes of Automatic Structures

Logical Methods in Computer Science 2026 Open access

Read full text
Authors: Achim Blumensath
DOI: 10.46298/lmcs-22(1:5)2026
Cited by: 0

Abstract

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.

Fields of Study & Subjects

Geometric and Algebraic Topology Advanced Topology and Set Theory Homotopy and Cohomology in Algebraic Topology

Publication details

Journal / source
Logical Methods in Computer Science
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Volume
Volume 22, Issue 1
Publication date
9 January 2026
Language
EN