The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
复制标题
汇合半构造器 TRS 的可连接性和统一性问题
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
T.Yamada
中科院分区：
文献类型：
--
作者：
I.Mitsuhashi;M.Oyamaguchi;Y.Ohta;T.Yamada
登录
查看更多内容
句法性、循环句法性和浅层理论
DOI：
10.1006/inco.1994.1043
发表时间：
1994
期刊：
Inf. Comput.
影响因子：
--
作者：
Hubert Comon;Marianne Haberstrau;J. Jouannaud
通讯作者：
J. Jouannaud
关于右基术语重写系统的单词问题
DOI：
--
发表时间：
1990
期刊：
Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E
影响因子：
--
作者：
M. Oyamaguchi
通讯作者：
M. Oyamaguchi
确定性树下推自动机和一元树重写系统
DOI：
10.1016/0022-0000(88)90014-1
发表时间：
1988
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
K. Salomaa
通讯作者：
K. Salomaa
DOI：
--
发表时间：
1984
期刊：
Fifth Generation Computer Systems
影响因子：
--
作者：
A. Martelli;G. Rossi
通讯作者：
G. Rossi
规范形式和统一
DOI：
10.1007/3-540-10009-1_25
发表时间：
1980
期刊：
J. ACM
影响因子：
--
作者：
J. Hullot
通讯作者：
J. Hullot