Proof theoretic analysis of cyclic proof systems
Proof theoretic analysis of cyclic proof systems
循环证明系统的证明理论分析
批准号：
18K11161
负责人：
Nakazawa Koji
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Failure of cut-elimination in cyclic proofs of separation logic
分离逻辑循环证明中割消除的失败
分离逻辑循环证明中割消除的失败
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno]
通讯作者：
and Hiroshi Unno
Spatial factorization in cyclic-proof system for separation logic
分离逻辑的循环证明系统中的空间分解
分离逻辑的循环证明系统中的空间分解
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Makoto Tatsuta, and Daisuke Kimura]
通讯作者：
and Daisuke Kimura
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
防循环系统中的切割消除
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, and Kenji Saotome]
通讯作者：
and Kenji Saotome
Restriction on Cut in Cyclic Proof System for Symbolic Heaps
符号堆循环证明系统中剪切的限制
符号堆循环证明系统中剪切的限制
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
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
具有归纳定义的符号堆循环证明的完整性
DOI：
10.1007/978-3-030-34175-6_19
发表时间：
2019
期刊：
LNCS (APLAS 2019)
影响因子：
--
作者：
[Tatsuta Makoto, Nakazawa Koji, Kimura Daisuke]
通讯作者：
Kimura Daisuke
共 8 条
Classical logic and infinite phenomena in computation
-
批准号：15K00012
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.58万
-
财政年份：2015
-
负责人：Nakazawa Koji
-
依托单位：
海外基金