Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting
复制标题
通过简单类型术语重写中的强可计算性增强依赖对方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Masahiko Sakai
中科院分区：
文献类型：
--
作者：
Keiichirou Kusakari;Masahiko Sakai
登录
查看更多内容
高阶 Knuth-Bendix 过程及其应用
DOI：
--
发表时间：
2004
期刊：
LA-Symposium 2004(Summer)
影响因子：
--
作者：
K.Kusakari;Y.Chiba
通讯作者：
Y.Chiba
使用 AProVE 自动终止证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider;Stephan Falke
通讯作者：
Stephan Falke
DOI：
10.1007/s00200-005-0179-7
发表时间：
2005
期刊：
Applicable Algebra in Engineering, Communication and Computing
影响因子：
--
作者：
René Thiemann;J. Giesl
通讯作者：
J. Giesl
比较柯里化和非柯里化重写
DOI：
10.1006/jsco.1996.0002
发表时间：
1993
期刊：
J. Symb. Comput.
影响因子：
--
作者：
R. Kennaway;J. Klop;R. Sleep;F. D. Vries
通讯作者：
F. D. Vries
DOI：
--
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Kusakari Keiichirou
通讯作者：
Kusakari Keiichirou