Embedded Finite Models beyond Restricted Quantifier Collapse
Embedded Finite Models beyond Restricted Quantifier Collapse
复制标题
超出限制量词崩溃的嵌入式有限模型
DOI：
10.1109/lics56636.2023.10175804
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Benedikt M
中科院分区：
文献类型：
--
作者：
Benedikt M
登录
查看更多内容
DOI：
10.48550/arxiv.1602.05819
发表时间：
2016
期刊：
arXiv e-prints
影响因子：
--
作者：
Bodirsky Manuel
通讯作者：
Bodirsky Manuel
NIP 理论指南
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Pierre Simon
通讯作者：
Pierre Simon
DOI：
--
发表时间：
1995
期刊：
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. Paredaens;J. V. D. Bussche;D. V. Gucht
通讯作者：
D. V. Gucht
有限域和伪有限域的模型论
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
Z. Chatzidakis
通讯作者：
Z. Chatzidakis
伪有限均匀性和饱和度
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
J. Flum;M. Ziegler
通讯作者：
M. Ziegler