Extremely Deep Proofs
Extremely Deep Proofs
复制标题
极其深刻的证明
DOI：
10.4230/lipics.itcs.2022.70
复制
发表时间：
2022
影响因子：
--
通讯作者：
Fleming, Noah and
中科院分区：
文献类型：
--
作者：
Fleming, Noah and
登录
查看更多内容
语义剖切面与句法剖切面
DOI：
--
发表时间：
2016
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
Yuval Filmus;P. Hrubes;Massimo Lauria
通讯作者：
Massimo Lauria
命题证明系统中复杂性度量的空间特征和尺寸空间权衡
DOI：
--
发表时间：
2023
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Theodoros Papamakarios;A. Razborov
通讯作者：
A. Razborov
证明作为游戏
DOI：
10.1080/00029890.2000.12005233
发表时间：
2000
期刊：
The American Mathematical Monthly
影响因子：
--
作者：
P. Pudlák
通讯作者：
P. Pudlák
Chvátal 等级的界限
影响因子：
1.1
作者：
F. Eisenbrand;Andreas S. Schulz
通讯作者：
Andreas S. Schulz
DOI：
10.1145/2591796.2591838
发表时间：
2013-11
期刊：
Proceedings of the forty-sixth annual ACM symposium on Theory of computing
影响因子：
--
作者：
Mika Göös;T. Pitassi
通讯作者：
Mika Göös;T. Pitassi