On cut elimination in cyclic-proof systems
On cut elimination in cyclic-proof systems
复制标题
防循环系统中的切割消除
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
and Kenji Saotome
中科院分区：
文献类型：
--
作者：
Koji Nakazawa;Daisuke Kimura;Tachio Terauchi;Hiroshi Unno;and Kenji Saotome
登录
查看更多内容
符号堆循环证明系统中剪切的限制
DOI：
10.1007/978-3-030-59025-3_6
发表时间：
2020
期刊：
FLOPS 2020, Lecture Notes in Computer Science
影响因子：
--
作者：
Saotome Kenji;Nakazawa Koji;Kimura Daisuke
通讯作者：
Kimura Daisuke
通用循环定理证明者
影响因子：
0.6
作者：
J. Brotherston;Nikos Gorogiannis;R. Petersen
通讯作者：
R. Petersen
归纳命题群逻辑循环证明系统中割消法的失败
DOI：
--
发表时间：
2021
期刊：
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021,
影响因子：
--
作者：
Saotome;Kenji ; Nakazawa;Koji ; Kimura;Daisuke
通讯作者：
Daisuke
影响因子：
--
作者：
Takeshi Tsukada;Hiroshi Unno
通讯作者：
Takeshi Tsukada;Hiroshi Unno
具有归纳定义的符号堆循环证明的完整性
DOI：
10.1007/978-3-030-34175-6_19
发表时间：
2019
期刊：
LNCS (APLAS 2019)
影响因子：
--
作者：
Tatsuta Makoto;Nakazawa Koji;Kimura Daisuke
通讯作者：
Kimura Daisuke