删除策略的相容性

• 作者: 程晓春
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 删除策略 锁归结 单元归结 输入归结 序归结
• 年，卷（期）: 1998,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 176-182
• 页数: 7页
• 分类号: TP301
• 字数: 7121字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.02.011

摘要

本文给出关于删除策略相容性的几个结果:对相同谓词符号配相同锁的子句集,锁归结和删除策略联用完备;对正文字锁大于负文字锁的Horn集,正单元锁归结和删除策略联用完备,输入锁归结与删除策略联用完备;配锁Horn集上输入半锁归结和删除策略联用完备;标准Horn集上正单元强有序归结和删除策略联用完备,强有序输入归结和删除策略联用完备.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程晓春	吉林大学计算机科学系	5	4	1.0	1.0