The Joinability and Related Decision Problems for Semi-Constructor TRSs
The Joinability and Related Decision Problems for Semi-Constructor TRSs
复制标题
半构造器 TRS 的可连接性及相关决策问题
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
I.Mitsuhashi
中科院分区：
文献类型：
--
作者：
M.Arimura;H.Nagaoka;I.Mitsuhashi
汇合半构造器 TRS 的可连接性和统一性问题
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) LNCS 3091
影响因子：
--
作者：
M.Hayashi;H.Nagaoka;K.Kusakari;Toshiya Mashima;斎藤 拓;H.Yamamoto;I.Mitsuhashi
通讯作者：
I.Mitsuhashi
对于平面术语重写系统来说，可达性和汇合性是不可判定的
DOI：
10.1016/s0020-0190(03)00310-7
发表时间：
2003
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
Florent Jacquemard
通讯作者：
Florent Jacquemard
汇合半构造器 TRS 的可连接性和统一性问题
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) LNCS3091
影响因子：
--
作者：
I.Mitsuhashi;M.Oyamaguchi;Y.Ohta;T.Yamada
通讯作者：
T.Yamada