计算机科学技术学报(英文版)
計算機科學技術學報(英文版)
계산궤과학기술학보(영문판)
COMPUTER JOURNAL OF SCIENCE AND TECHNOLOGY
2000年
6期
552-559
,共8页
term rewriting system%completion of equational theory%partial completion
In this paper, the notion of partial completion of equational theories is proposed, which is a procedure to construct a confluent term rewriting system from an equational theory without requirement of termination condition. A partial completion algorithm is presented with a brief description of its application in a program development system.