Transformation for Refining Unraveled Conditional Term Rewriting Systems
Transformation for Refining Unraveled Conditional Term Rewriting Systems
复制标题
改进未解开的条件术语重写系统的转型
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Sakai
中科院分区：
文献类型：
--
作者：
Naoki;Nishida;Tomohiro;Mizutani;Masahiko;Sakai
登录
查看更多内容
代数发展技术的最新趋势：第 13 届国际研讨会，WADT’98，葡萄牙里斯本，1998 年 4 月 2-4 日 论文选集
DOI：
10.1007/3-540-48483-3
发表时间：
1999
期刊：
Workshop on Recent Trends in Algebraic Development Techniques
影响因子：
--
作者：
M. Große;F. Presicce;Marta Simeoni
通讯作者：
Marta Simeoni
DOI：
--
发表时间：
2005
期刊：
IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
影响因子：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者：
Toshiki Sakabe
DOI：
--
发表时间：
1986
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
J. Bergstra;J. Klop
通讯作者：
J. Klop
从有条件重写到无条件重写
DOI：
10.1007/978-3-540-31959-7_13
发表时间：
2004
期刊：
Workshop on Recent Trends in Algebraic Development Techniques
影响因子：
--
作者：
Grigore Roşu
通讯作者：
Grigore Roşu
DOI：
10.1007/3-540-61735-3_7
发表时间：
1996
期刊：
Applicable Algebra in Engineering, Communication and Computing
影响因子：
--
作者：
M. Marchiori
通讯作者：
M. Marchiori