尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。
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.
DOI 原文 ·
@article{paperbot4033,
title = {Simple Classes of Automatic Structures},
author = {Achim Blumensath},
journal = {Logical Methods in Computer Science},
volume = {Volume 22, Issue 1},
year = {2026},
doi = {10.46298/lmcs-22(1:5)2026}
}