On Inductive Proofs by Extended Unfold/fold Transformation Rules
On Inductive Proofs by Extended Unfold/fold Transformation Rules
复制标题
关于扩展展开/折叠变换规则的归纳证明
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
H. Seki
中科院分区：
文献类型：
--
作者：
宮西一徳;尾崎知伸;大川剛直;H. Seki;世木博久;H. Seki
登录
查看更多内容
超越 Tamaki-Sato 风格的普通逻辑程序的展开/折叠转换
DOI：
10.1142/s0129054102001175
发表时间：
1999
影响因子：
0.8
作者：
Abhik Roychoudhury;K. Kumar;C. Ramakrishnan;I. Ramakrishnan
通讯作者：
I. Ramakrishnan
通过展开/折叠转换进行完美模型检查
DOI：
10.1007/3-540-44957-4_41
发表时间：
2000
期刊：
Computational Logic
影响因子：
--
作者：
A. Pettorossi;M. Proietti
通讯作者：
M. Proietti
论逻辑程序的声明性和过程性语义
DOI：
10.1007/bf00243002
发表时间：
1989
期刊：
Journal of automated reasoning
影响因子：
--
作者：
Teodor C. Przymusinski
通讯作者：
Teodor C. Przymusinski
确定逻辑程序的展开/折叠变换框架
DOI：
10.1145/982158.982160
发表时间：
2004
期刊：
TOPL
影响因子：
--
作者：
Abhik Roychoudhury;K. Kumar;C. Ramakrishnan;I. Ramakrishnan
通讯作者：
I. Ramakrishnan
DOI：
10.1007/978-3-540-25951-0_10
发表时间：
2004
期刊：
ArXiv
影响因子：
--
作者：
F. Fioravanti;A. Pettorossi;M. Proietti
通讯作者：
M. Proietti