Failure of cut-elimination in cyclic proofs of separation logic
Failure of cut-elimination in cyclic proofs of separation logic
复制标题
分离逻辑循环证明中割消除的失败
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
and Hiroshi Unno
中科院分区：
文献类型：
--
作者：
Daisuke Kimura;Koji Nakazawa;Tachio Terauchi;and Hiroshi Unno
登录
查看更多内容
（克莱恩行动）的非充分证明理论（代数格）
DOI：
10.4230/lipics.csl.2018.19
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Anupam Das;D. Pous
通讯作者：
D. Pous
通用循环定理证明者
影响因子：
0.6
作者：
J. Brotherston;Nikos Gorogiannis;R. Petersen
通讯作者：
R. Petersen
循环算术相当于皮亚诺算术
DOI：
10.1007/978-3-662-54458-7_17
发表时间：
2017
期刊：
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
A. Simpson
通讯作者：
A. Simpson
DOI：
10.1109/lics.2017.8005114
发表时间：
2017
期刊：
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
S. Berardi;M. Tatsuta
通讯作者：
M. Tatsuta
DOI：
10.1007/978-3-319-48989-6_40
发表时间：
2016-09
期刊：
--
影响因子：
--
作者：
Quang-Trung Ta;T. Le;Siau-Cheng Khoo;W. Chin
通讯作者：
Quang-Trung Ta;T. Le;Siau-Cheng Khoo;W. Chin