|
|||||
|
|
| 一个基于规范变换的定理证明方法 | |
| 引用本文： | 钟发荣.一个基于规范变换的定理证明方法[J].计算机与现代化,1999(2):15-18,23. |
| 作者姓名： | 钟发荣 |
| 作者单位： | 浙江师范大学计算机系,金华,321004 |
| 摘 要： | 在规范变换方法的基础上，给出了在有序类规范上的归纳定理的证明方法。该方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏｕｎａｌｉｓ方法中所谓归纳可归约性检查这一很费时的过程，并且终止性检查不依赖于合流性检查。 |
| 关 键 词： | 规范 重写 定理证明 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
