 |
 |
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)2026Simple Classes of Automatic StructuresArticle
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.
Source: arXiv.org:2505.22821
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 422 times.
This article's PDF has been downloaded 285 times.