Dependency Graph Method for Proving Termination of Narrowing
Dependency Graph Method for Proving Termination of Narrowing
复制标题
证明收缩终止的依赖图方法
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
K.Miura
中科院分区：
文献类型：
--
作者：
N.Nishida;K.Miura
登录
查看更多内容
使用 AProVE 自动终止证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider;Stephan Falke
通讯作者：
Stephan Falke
DOI：
--
发表时间：
2005
期刊：
IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
影响因子：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者：
Toshiki Sakabe
DOI：
10.1007/3-540-45744-5_49
发表时间：
2001
期刊：
--
影响因子：
--
作者：
A. Middeldorp
通讯作者：
A. Middeldorp
带有额外变量的右线性覆盖项重写系统上最左最内缩小的范式计算
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者：
Toshiki Sakabe
规范形式和统一
DOI：
10.1007/3-540-10009-1_25
发表时间：
1980
期刊：
J. ACM
影响因子：
--
作者：
J. Hullot
通讯作者：
J. Hullot