Simple Classes of Automatic Structures

Blumensath, Achim

计算机科学 > 计算机科学中的逻辑

arXiv:2505.22821v1 (cs)

[提交于 2025年5月28日 ]

标题：自动结构的简单类

标题： Simple Classes of Automatic Structures

Authors:Achim Blumensath

摘要：我们研究了自动结构类的两个子类：多项式增长的自动结构和Presburger自动结构。我们给出了这两个类中群和等价结构的代数刻划。

摘要： 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.

主题：	计算机科学中的逻辑 (cs.LO) ; 逻辑 (math.LO)
引用方式：	arXiv:2505.22821 [cs.LO]
	(或者 arXiv:2505.22821v1 [cs.LO] 对于此版本)
	https://doi.org/10.48550/arXiv.2505.22821

提交历史

来自： Achim Blumensath [查看电子邮件]
[v1] 星期三， 2025 年 5 月 28 日 19:59:53 UTC (25 KB)

全文链接：

获取论文：

查看许可

当前浏览上下文:

cs.LO

新的 | 最近的 | 2025-05

切换浏览方式为:

cs
math
math.LO

参考文献与引用

导出 BibTeX 引用

计算机科学 > 计算机科学中的逻辑

标题：自动结构的简单类

标题： Simple Classes of Automatic Structures

提交历史

获取论文：

参考文献与引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

计算机科学 > 计算机科学中的逻辑

标题： 自动结构的简单类 显示英文标题

标题： Simple Classes of Automatic Structures

提交历史

获取论文：

参考文献与引用

BibTeX 格式的引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

标题：自动结构的简单类