删除策略的相容性

程晓春

吉林大学;

摘要：

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

关键词：删除策略、锁归结、单元归结、输入归结、序归结

所属期刊栏目：21

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金;国家高技术研究发展计划863计划

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：176-182