重写系统中解决发散现象的扩充技术

• 作者: 冯培雄 孙永强 邵志清
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 重写系统 扩充 归纳 完备化 发散
• 年，卷（期）: 2000,（3）
• 页码范围: 26-32
• 页数: 7页
• 分类号: TP3
• 字数: 3676字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2000.03.004

摘要

本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法.我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0
3	冯培雄	华东理工大学计算机科学与工程系	1	0	0.0	0.0