Advice Automatic Structures and Uniformly Automatic Classes
Advice Automatic Structures and Uniformly Automatic Classes
复制标题
建议自动结构和统一自动类
DOI：
10.4230/lipics.csl.2017.35
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
F. Reinhardt
中科院分区：
文献类型：
--
作者：
F. Abu Zaid;E. Grädel;F. Reinhardt
登录
查看更多内容
DOI：
--
发表时间：
2013
期刊：
Conference on Computability in Europe
影响因子：
--
作者：
Alexander Kartzow;Philipp Schlicht
通讯作者：
Philipp Schlicht
DOI：
--
发表时间：
2009
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
T. Tsankov
通讯作者：
T. Tsankov
可数布尔代数和可判定性
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
S. Goncharov
通讯作者：
S. Goncharov
欧米伽自动结构上的基数和计数量词
DOI：
--
发表时间：
2008
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
Lukasz Kaiser;S. Rubin;V. Bárány
通讯作者：
V. Bárány
拉姆齐定理是欧米茄自动的吗？
DOI：
--
发表时间：
2009
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
D. Kuske
通讯作者：
D. Kuske