一个基于规范变换的定理证明方法

摘要：

在规范变换方法的基础上,给出了在有序类规范上的归纳定理的证明方法.该方法避免了Jouannaud-Kounalis方法中所谓归纳可归约性检查这一很费时的过程,并且终止性检查不依赖于合流性检查.

关键词：规范、重写、定理证明

分类号：TP301(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：15-18