Algorithmic Solutions via Model Theoretic Interpretations
Algorithmic Solutions via Model Theoretic Interpretations
复制标题
通过模型理论解释的算法解决方案
DOI：
10.18154/rwth-2017-07663
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
F. Abu Zaid
中科院分区：
文献类型：
--
作者：
F. Abu Zaid
登录
查看更多内容
带计数的定点逻辑中的最大匹配和线性规划
DOI：
10.1109/lics.2013.23
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Anderson M
通讯作者：
Anderson M
可在多项式时间内计算的关系查询（扩展摘要）
DOI：
--
发表时间：
1982
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
N. Immerman
通讯作者：
N. Immerman
DOI：
--
发表时间：
2013
期刊：
Conference on Computability in Europe
影响因子：
--
作者：
Alexander Kartzow;Philipp Schlicht
通讯作者：
Philipp Schlicht
自动序数
影响因子：
1.7
作者：
O. Finkel;S. Todorcevic
通讯作者：
S. Todorcevic
DOI：
--
发表时间：
2009
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
N. Kayal;Timur Nezhmetdinov
通讯作者：
Timur Nezhmetdinov