Achim Blumensath - Simple Classes of Automatic Structures

lmcs:15789 - Logical Methods in Computer Science, January 9, 2026, Volume 22, Issue 1 - https://doi.org/10.46298/lmcs-22(1:5)2026
Simple Classes of Automatic StructuresArticle

Authors: 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

    Consultation statistics

    This page has been seen 22 times.
    This article's PDF has been downloaded 8 times.