Definability of summation problems for Abelian groups and semigroups
Definability of summation problems for Abelian groups and semigroups
复制标题
阿贝尔群和半群求和问题的可定义性
DOI：
10.1109/lics.2017.8005082
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
W. Pakusa
中科院分区：
文献类型：
--
作者：
F. Abu Zaid;A. Dawar;E. Grädel;W. Pakusa
登录
查看更多内容
DOI：
10.1007/978-3-662-44522-8_5
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Faried Abu Zaid;E. Grädel;Martin Grohe;Wied Pakusa
通讯作者：
Wied Pakusa
无选择多项式时间的强扩展公理和 Shelah 零一定律
影响因子：
0.6
作者：
A. Blass;Y. Gurevich
通讯作者：
Y. Gurevich
DOI：
--
发表时间：
2001
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Blass;Y. Gurevich;S. Shelah
通讯作者：
S. Shelah
带有否定的聚合查询之间的等价性
DOI：
10.1145/375551.375595
发表时间：
2001
期刊：
Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Sara Cohen;W. Nutt;Y. Sagiv
通讯作者：
Y. Sagiv
DOI：
--
发表时间：
2012
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
A. Dawar;E. Grädel;Bjarki Holm;Eryk Kopczynski;Wied Pakusa
通讯作者：
Wied Pakusa