摘要
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.
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.
