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

• 作者: 钟发荣
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 规范 重写 定理证明
• 年，卷（期）: 1999,（2）
• 页码范围: 15-18
• 页数: 4页
• 分类号: TP301
• 字数: 2206字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.1999.02.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟发荣	浙江师范大学计算机系	25	46	4.0	5.0