Noriko Arai: "Relative efficiency of propositional proof systems:resolution vs.cut-free LK"Annals of Pure and Applied Logic. (予定).
Noriko Arai: "Relative efficiency of propositional proof systems:resolution vs.cut-free LK"Annals of Pure and Applied Logic. (予定).
复制标题
Noriko Arai：“命题证明系统的相对效率：解析与无剪切 LK”纯逻辑与应用逻辑年鉴（计划）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
