Maximum Matching and Linear Programming in Fixed-Point Logic with Counting
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting
复制标题
带计数的定点逻辑中的最大匹配和线性规划
DOI：
10.1109/lics.2013.23
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Anderson M
中科院分区：
文献类型：
--
作者：
Anderson M
登录
查看更多内容
利用空间膨胀运算来最小化凸函数
DOI：
--
发表时间：
1972
期刊：
影响因子：
--
作者：
N. Z. Shor
通讯作者：
N. Z. Shor
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：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
W. Rautenberg
通讯作者：
W. Rautenberg
数学（数学）
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Math Math
通讯作者：
Math Math