Computation Programs for Constructor Term Rewriting Systems
Computation Programs for Constructor Term Rewriting Systems
复制标题
构造函数重写系统的计算程序
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Toshiki Sakabe
中科院分区：
文献类型：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
登录
查看更多内容
使用 AProVE 自动终止证明
DOI：
--
发表时间：
2004
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
J. Giesl;René Thiemann;Peter Schneider;Stephan Falke
通讯作者：
Stephan Falke
代数和逻辑编程
DOI：
10.1007/3-540-50667-5
发表时间：
1988
期刊：
--
影响因子：
--
作者：
J. Grabowski;P. Lescanne;W. Wechler;J. Grabowski
通讯作者：
J. Grabowski
DOI：
10.1007/10722010_13
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Sergei M. Abramov;R. Glück
通讯作者：
R. Glück
DOI：
10.1007/3-540-45406-3_5
发表时间：
2001-05
期刊：
--
影响因子：
--
作者：
M. Rodríguez-Artalejo
通讯作者：
M. Rodríguez-Artalejo
程序逆变器
DOI：
--
发表时间：
2004
期刊：
16th Nordic Workshop on Programming Theory. Proceedings
影响因子：
--
作者：
真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe
通讯作者：
Masahiko Kawabe