首页> 中文期刊> 《海军工程大学学报》 >基于DTRC的形式自动证明平台及其应用

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《海军工程大学学报》 |2004年第5期|60-64|共5页
作者
熊锋; 李桂范; 程明; 冯速;
展开▼
作者单位

北京师范大学,信息科学学院,北京,100875;

黑龙江大学,数学科学学院,黑龙江,哈尔滨,150080;

北京师范大学,继续教育与教师培训学院,北京,100009;

北京师范大学,信息科学学院,北京,100875;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
动态项重写计算; 项重写系统; 运行平台; 形式自动证明; 重写策略;

相似文献

中文文献
外文文献
专利

1. 重写对策在基于HOL的形式化证明中的应用 [J] . 张杰 ,毛丹雯 ,关永 . 计算机工程与设计 . 2013,第010期
2. 基于时间自动机模型的安全计算机平台的形式化验证 [J] . 郭志良 ,郜春海 ,马连川 . 铁道学报 . 2011,第006期
3. 命题逻辑中形式推演证明题的自动评阅系统 [J] . 魏玮 ,谢慧珍 ,张丽纯 . 计算机与现代化 . 2014,第002期
4. 新形式下基于网络平台的翻转教学模式在超声影像学教学中的应用效果 [J] . 李亮 ,周旺 ,张超学 . 中华全科医学 . 2021,第8期
5. 基于微信平台多媒体形式的延续护理在糖尿病患者教育中的应用 [J] . 陈伟丽 . 糖尿病新世界 . 2019,第013期
6. 一个基于DTE和平台证明的网络强制访问控制形式模型 [C] . 周洲仪 ,贺也平 . 第五届中国信息和通信安全学术会议 . 2007
7. 面向高阶逻辑的形式化自动证明技术研究 [A] . 莫广帅 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号