Higher-Order Knuth-Bendix Procedure and its Applications
Higher-Order Knuth-Bendix Procedure and its Applications
复制标题
高阶 Knuth-Bendix 过程及其应用
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Y.Chiba
中科院分区：
文献类型：
--
作者：
K.Kusakari;Y.Chiba
登录
查看更多内容
通过完成自动合成
DOI：
--
发表时间：
1994
期刊：
--
影响因子：
--
作者：
F. Bellegarde
通讯作者：
F. Bellegarde
DOI：
10.1016/s0747-7171(89)80069-0
发表时间：
1986
期刊：
J. Symb. Comput.
影响因子：
--
作者：
L. Fribourg
通讯作者：
L. Fribourg
通用代数中的简单应用题††本文报告的工作得到了美国海军研究办公室的部分支持。
DOI：
--
发表时间：
1970
期刊：
影响因子：
--
作者：
D. Knuth;P. Bendix
通讯作者：
P. Bendix
比较柯里化和非柯里化重写
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