Dependency Pairs for Simply Typed Term Rewriting
Dependency Pairs for Simply Typed Term Rewriting
复制标题
用于简单键入术语重写的依赖对
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Takahito Aoto
中科院分区：
文献类型：
--
作者：
M.Mishima;Takahito Aoto
登录
查看更多内容
DOI：
10.1016/s0304-3975(97)00143-6
发表时间：
1998-02
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Richard Mayr;T. Nipkow
通讯作者：
Richard Mayr;T. Nipkow
使用 AProVE 自动终止证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider;Stephan Falke
通讯作者：
Stephan Falke
DOI：
10.1007/978-3-540-45085-6_22
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
L. Dixon;Jacques D. Fleuriot
通讯作者：
L. Dixon;Jacques D. Fleuriot
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Kusakari Keiichirou
通讯作者：
Kusakari Keiichirou
简单类型术语重写系统的汇合和终止
DOI：
10.1007/3-540-45127-7_25
发表时间：
2001
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Toshiyuki Yamada
通讯作者：
Toshiyuki Yamada