Partial Completion of Equational Theories

SUN Yongqiang, LIN Kai, LU Chaojun. Partial Completion of Equational Theories[J]. Journal of Computer Science and Technology, 2000, 15(6): 552-559.

Citation:

SUN Yongqiang, LIN Kai, LU Chaojun. Partial Completion of Equational Theories[J]. Journal of Computer Science and Technology, 2000, 15(6): 552-559.

Citation:

SUN Yongqiang, LIN Kai, LU Chaojun. Partial Completion of Equational Theories[J]. Journal of Computer Science and Technology, 2000, 15(6): 552-559.

Abstract

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.

FullText(HTML)

Export File