The Reachability and Related Decision Problems for semi-Constructor TRSs
The Reachability and Related Decision Problems for semi-Constructor TRSs
复制标题
半构造器 TRS 的可达性及相关决策问题
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
I.
中科院分区：
文献类型：
--
作者：
MITSUHASHI;I.
对于平面术语重写系统来说，可达性和汇合性是不可判定的
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
汇合半构造器 TRS 的可连接性及相关决策问题
DOI：
--
发表时间：
2006
期刊：
Transactions of Information Processing Society of Japan 47・5
影响因子：
--
作者：
Mitsuhashi;Oyamaguchi;Yamada
通讯作者：
Yamada