您的位置： 专家智库 > >

熊锋

作品数：2 被引量：1H指数：1
供职机构：北京师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术天文地球更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇天文地球

主题

  • 2篇重写系统
  • 2篇项重写
  • 2篇项重写系统

机构

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

作者

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

传媒

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

年份

  • 1篇2005
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于DTRC的形式自动证明平台的设计与开发
本文介绍了项重写系统(TRSs)形式简洁且计算能力强，在计算科学里是一种受到广泛研究和应用的形式计算模型。对于项重写系统本身的性质(如合流性、终止性、等价性等)有大量的研究，学术界提出了很多有效的算法及模型来验证，其中冯...
熊锋
关键词：项重写系统
文献传递
基于DTRC的形式自动证明平台及其应用被引量：1
2004年
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.
熊锋李桂范程明冯速
关键词：项重写系统
全选 清除 导出
共1页<1>
聚类工具0