Characterising Choiceless Polynomial Time with First-Order Interpretations
Characterising Choiceless Polynomial Time with First-Order Interpretations
复制标题
用一阶解释表征无选择多项式时间
DOI：
10.1109/lics.2015.68
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Schalthöfer
中科院分区：
文献类型：
--
作者：
E. Grädel;L. Kaiser;W. Pakusa;S. Schalthöfer
登录
查看更多内容
带计数的定点逻辑中的最大匹配和线性规划
DOI：
10.1109/lics.2013.23
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Anderson M
通讯作者：
Anderson M
DOI：
10.1007/978-3-662-44522-8_5
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Faried Abu Zaid;E. Grädel;Martin Grohe;Wied Pakusa
通讯作者：
Wied Pakusa
DOI：
--
发表时间：
2001
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Blass;Y. Gurevich;S. Shelah
通讯作者：
S. Shelah
无选择计算和对称性
DOI：
--
发表时间：
2010
期刊：
Fields of Logic and Computation
影响因子：
--
作者：
Benjamin Rossman
通讯作者：
Benjamin Rossman
DOI：
--
发表时间：
2012
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
A. Dawar;E. Grädel;Bjarki Holm;Eryk Kopczynski;Wied Pakusa
通讯作者：
Wied Pakusa