Spatial factorization in cyclic-proof system for separation logic
Spatial factorization in cyclic-proof system for separation logic
复制标题
分离逻辑的循环证明系统中的空间分解
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
and Daisuke Kimura
中科院分区：
文献类型：
--
作者：
Koji Nakazawa;Makoto Tatsuta;and Daisuke Kimura
登录
查看更多内容
DOI：
10.1145/2837614.2837621
发表时间：
2016-01
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
J. Brotherston;Nikos Gorogiannis;M. Kanovich;R. Rowe
通讯作者：
J. Brotherston;Nikos Gorogiannis;M. Kanovich;R. Rowe
通用循环定理证明者
影响因子：
0.6
作者：
J. Brotherston;Nikos Gorogiannis;R. Petersen
通讯作者：
R. Petersen
DOI：
10.1016/j.scico.2010.07.004
发表时间：
2012-08
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
通讯作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
符号堆循环证明的完整性
DOI：
--
发表时间：
2018
期刊：
arXiv.org
影响因子：
--
作者：
M. Tatsuta;Koji Nakazawa;D. Kimura
通讯作者：
D. Kimura
DOI：
10.1007/978-3-642-37036-6_9
发表时间：
2013
期刊：
--
影响因子：
--
作者：
C. Enea;Vlad Saveluc;M. Sighireanu
通讯作者：
M. Sighireanu