Disunification 相关硕士博士期刊学术论文

文章讨论一阶反合一问题以及求反合一子完备集的算法。在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进......