On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
复制标题
证明高阶重写系统终止的依赖对方法
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
K.Kusakari
中科院分区：
文献类型：
--
作者：
M.Sakai;K.Kusakari
登录
查看更多内容
自动证明术语重写系统的终止和最内部规范化
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
T. Arts
通讯作者：
T. Arts
DOI：
10.1007/bfb0038698
发表时间：
1991-02
期刊：
J. Log. Comput.
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
Munehiro Iwami;Masahiko Sakai;Y. Toyama
通讯作者：
Y. Toyama
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Kusakari Keiichirou
通讯作者：
Kusakari Keiichirou
DOI：
10.1007/3-540-45788-7_12
发表时间：
2002
期刊：
--
影响因子：
--
作者：
H. Kasuya;Masahiko Sakai;K. Agusa
通讯作者：
K. Agusa