The Model-Theoretic Expressiveness of Propositional Proof Systems
The Model-Theoretic Expressiveness of Propositional Proof Systems
复制标题
命题证明系统的模型理论表达性
DOI：
10.4230/lipics.csl.2017.27
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
W. Pakusa
中科院分区：
文献类型：
--
作者：
E. Grädel;B. Pago;W. Pakusa
登录
查看更多内容
线性丢番图方程、群 CSP 和图同构
DOI：
10.1137/1.9781611974782.21
发表时间：
2017
期刊：
影响因子：
--
作者：
C. Berkholz;M. Grohe
通讯作者：
M. Grohe
团队语义中的计数
DOI：
10.4230/lipics.csl.2016.35
发表时间：
2016
期刊：
影响因子：
--
作者：
E. Grädel;S. Hegselmann
通讯作者：
S. Hegselmann
简短的证明是狭窄的{决议已做出
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
SimpleEli Ben;A. Wigderson
通讯作者：
A. Wigderson
影响因子：
0.5
作者：
Anderson M
通讯作者：
Anderson M
具有排序运算符的逻辑
DOI：
--
发表时间：
2009
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
A. Dawar;Martin Grohe;Bjarki Holm;Bastian Laubner
通讯作者：
Bastian Laubner