位置：成果数据库 > 著作 > 著作详情页
冯速,项重写系统等价性的归纳证明,
  • 所属机构名称：北京师范大学
  • 成果类型：著作
  • 出版社：计算机科学?000?7（8）?—7
  • 相关项目：项重写系统等价性的形式自动证明
作者： 冯速|
同著作项目
项重写系统等价性的形式自动证明
期刊论文 13 会议论文 3 著作 10
同项目著作
基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明的应用,
冯速,高效重写型程序的设计,
别荣芳,关于整数环的无限n素元组归纳扩环的多样性,
谢华美,何其翱,郑宁,别荣芳*,基于ERDAS 二次开发的遥感图像同态滤波薄云去除算法的改进
Bie Rongfang, Inductive rings and systems of diophantine equations,
Jin Xin, Bie Rongfang*, Classification Analysis of SAGE Data Using Maximum Entropy Model,
冯速,项重写系统弱基终止性的归纳证明,
Bie Rongfang, IBi-inductive Rings and Systems of Diophantine Equations?,
刘萍,别荣芳,基于交易数据库的关联规则生成算法FAS及其应用,