一个基于规范变换的定理证明方法
点击次数：
发表时间：1999-01-01
发表刊物：计算机与现代化
所属单位：数理与信息工程学院
文献类型：期刊
期号：第2期
页面范围：15-24
ISSN号：1006-2475
关键字：规范；重写；定理证明
摘要：在规范变换方法的基础上，给出了在有序类规范上的归纳定理的证明方法。该方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏｕｎａｌｉｓ方法中所谓归纳可归约性检查这一很费时的过程，并且终止性检查不依赖于合流性检查。
是否译文：否
上一条：关于归纳证明的探讨
下一条：面向对象系统的一种系统定义方法