Explicit Induction in Rewriting Systems

Explicit Induction in Rewriting Systems[J]. Journal of East China University of Science and Technology, 1996, (1): 68-72.

Citation:

Explicit Induction in Rewriting Systems[J]. Journal of East China University of Science and Technology, 1996, (1): 68-72.

Citation:

Explicit Induction in Rewriting Systems[J]. Journal of East China University of Science and Technology, 1996, (1): 68-72.

Abstract

In this paper,an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.Experimental results show that,compared with the inductionless induction approach,the new proof systems is simpler and possesses several more intuitive characters.

FullText(HTML)

Export File