Proving Properties of Co-logic Programs by Unfold/Fold Transformations
Proving Properties of Co-logic Programs by Unfold/Fold Transformations
复制标题
通过展开/折叠变换证明协同逻辑程序的性质
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
世木博久
中科院分区：
文献类型：
--
作者：
宮西一徳;尾崎知伸;大川剛直;H. Seki;世木博久
登录
查看更多内容
展开/折叠程序转换
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
L. Kott
通讯作者：
L. Kott
带否定的共归纳逻辑编程
DOI：
10.1007/978-3-642-12592-8_8
发表时间：
2009
期刊：
International Workshop/Symposium on Logic-based Program Synthesis and Transformation
影响因子：
--
作者：
Richard Min;G. Gupta
通讯作者：
G. Gupta
DOI：
10.1007/11799573_25
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Luke Simon;A. Mallya;A. Bansal;G. Gupta
通讯作者：
G. Gupta
影响因子：
1.1
作者：
Etalle, S;Gabbrielli, M
通讯作者：
Gabbrielli, M
通过展开/折叠转换进行完美模型检查
DOI：
10.1007/3-540-44957-4_41
发表时间：
2000
期刊：
Computational Logic
影响因子：
--
作者：
A. Pettorossi;M. Proietti
通讯作者：
M. Proietti