文献类型：期刊文献

中文题名：重写系统中的显式归纳方法

英文题名：Explicit Induction in Rewriting Systems

作者：宋国新[1];邵志清[1]

机构：[1]华东理工大学计算机科学与工程系

年份：1996

卷号：22

期号：1

起止页码：68

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;EI(收录号：1998014019744);Scopus;CSCD:【CSCD2011_2012】；

基金：国家863计划资助

语种：中文

中文关键词：归纳定理;重写系统;等式系统;显式归纳;K-B算法

外文关键词：inductive theorems;rewriting systems;equational systems;Knuth-Bendix algorithm;equational theorems

摘要：提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。
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.