|国家科技期刊平台
| 注册
首页|期刊导航|华东理工大学学报：自然科学版|重写系统中的显式归纳方法

重写系统中的显式归纳方法

宋国新 邵志清

华东理工大学学报：自然科学版1996，Vol.22Issue(1)：P.68-72,5.
✕
华东理工大学学报：自然科学版1996，Vol.22Issue(1)：P.68-72,5.

重写系统中的显式归纳方法

宋国新 1邵志清1

作者信息

  • 1. 华东理工大学计算机科学与工程系
  • 折叠

摘要

关键词

归纳定理/重写系统/等式系统/显式归纳/K-B算法

分类

信息技术与安全科学

引用本文复制引用

宋国新,邵志清..重写系统中的显式归纳方法[J].华东理工大学学报：自然科学版,1996,22(1):P.68-72,5.

基金项目

国家863计划资助 （）

华东理工大学学报：自然科学版

OA北大核心CSCD

1006-3080

访问量0
|
下载量0
段落导航相关论文