Simple Classes of Automatic Structures
Logic in Computer Science
2026-01-14 v4 Logic
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.
Cite
@article{arxiv.2505.22821,
title = {Simple Classes of Automatic Structures},
author = {Achim Blumensath},
journal= {arXiv preprint arXiv:2505.22821},
year = {2026}
}