基于DTRC的形式自动证明平台及其应用

• 作者: 冯速 李桂范 熊锋 程明
• 来源期刊: 海军工程大学学报
• 学科: 工学
• 关键词: 动态项重写计算 项重写系统 运行平台 形式自动证明 重写策略
• 年，卷（期）: 2004,（5）
• 页码范围: 60-64
• 页数: 5页
• 分类号: TP3
• 字数: 2040字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3486.2004.05.015

摘要

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李桂范	黑龙江大学数学科学学院	6	13	2.0	3.0
2	冯速	北京师范大学信息科学学院	12	195	6.0	12.0
3	熊锋	北京师范大学信息科学学院	1	3	1.0	1.0
4	程明	北京师范大学继续教育与教师培训学院	1	3	1.0	1.0