The Joinability and UnificationProblems for Confluent Semi-Constructor TRSs

The Joinability and UnificationProblems for Confluent Semi-Constructor TRSs
复制标题

汇合半构造器 TRS 的可连接性和统一性问题

DOI：
--
复制
发表时间：
2004
期刊：
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) LNCS 3091
影响因子：
--
通讯作者：
I.Mitsuhashi
I.Mitsuhashi
中科院分区：
--
文献类型：
--
作者：
M.Hayashi;H.Nagaoka;K.Kusakari;Toshiya Mashima;斎藤 拓;H.Yamamoto;I.Mitsuhashi

文献摘要

被引文献

相似文献