The unification problem for confluent right-ground term rewriting systems-猫眼课题宝

DOI：

10.1016/s0890-5401(03)00022-1

发表时间：

2001-05

期刊：

Inf. Comput.

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

M. Oyamaguchi;Yoshikatsu Ohta