Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
复制标题
证明高阶重写系统终止的静态依赖对方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Toshiki Sakabe Naoki Nishida
中科院分区：
文献类型：
--
作者：
Kiichirou Kusakari;Yasuo Iso-gai;Masahiko Sakai;Toshiki Sakabe Naoki Nishida
登录
查看更多内容
一阶形成规则
DOI：
--
发表时间：
2014
期刊：
RTA-TLCA
影响因子：
--
作者：
Carsten Fuhs;Cynthia Kop
通讯作者：
Cynthia Kop
DOI：
10.1007/bfb0038698
发表时间：
1991-02
期刊：
J. Log. Comput.
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller
蒂罗尔终止工具：技术和功能
影响因子：
1
作者：
Nao Hirokawa;A. Middeldorp
通讯作者：
A. Middeldorp
WANDA – 高阶端接工具
DOI：
--
发表时间：
2020
期刊：
--
影响因子：
--
作者：
Cynthia Kop
通讯作者：
Cynthia Kop
DOI：
--
发表时间：
2005
期刊：
IEICE Trans. on Information and Systems E88-D・3
影响因子：
--
作者：
M.Sakai;K.Kusakari
通讯作者：
K.Kusakari