与替换和集合运算有关的错误

• 作者: 姜云飞 程晓春
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 归结 替换 合一 集合 删除策略
• 年，卷（期）: 1999,（2）
• 页码范围: 201-204
• 页数: 4页
• 分类号: TP18
• 字数: 3010字
• 语种: 中文

摘要

指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜云飞	中山大学软件所	84	1013	18.0	28.0
2	程晓春	吉林大学计算机科学系	5	4	1.0	1.0