您的位置： 专家智库 > >

程明

作品数：1 被引量：1H指数：1
供职机构：北京师范大学继续教育与教师培训学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇重写系统
  • 1篇项重写
  • 1篇项重写系统

机构

  • 1篇北京师范大学
  • 1篇黑龙江大学

作者

  • 1篇李桂范
  • 1篇熊锋
  • 1篇冯速
  • 1篇程明

传媒

  • 1篇海军工程大学...

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于DTRC的形式自动证明平台及其应用被引量：1
2004年
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.
熊锋李桂范程明冯速
关键词：项重写系统
全选 清除 导出
共1页<1>
聚类工具0