首页 | 本学科首页   官方微博 | 高级检索  
     

Generalized Resolution and NC-Resolution
作者姓名:Liu Xuhua  Sun Jigui
作者单位:[1]DepartmentofComputerScience,JilinUniversity,Changchun130021 [2]DepartmentofComputerScience,JilinUniversi
摘    要:The relation between generalized resolution and NC-resolution is discussed.The proof of the completeness of NC linear resolution is then given.The incompleteness of NC lock resolution is also presented,thus the conclusion in 3] of “a simple completeness-preserving restriction” is shown to be wrong.

关 键 词:程序语言  广义分辨力  NC-分辨力  子句处理

Generalized resolution and NC-resolution
Liu Xuhua,Sun Jigui.Generalized Resolution and NC-Resolution[J].Journal of Computer Science and Technology,1994,9(2):160-167.
Authors:Xuhua Liu  Jigui Sun
Affiliation:Department of Computer Science; Jilin University; Changchun 130021;
Abstract:The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the conclusion in 3] of" a simple completeness- preserving restriction" is shown to be wrong.
Keywords:Generalized resolution  NC-resolution  NC-linear resolution
本文献已被 CNKI 维普 SpringerLink 等数据库收录!
点击此处可从《计算机科学技术学报》浏览原始摘要信息
点击此处可从《计算机科学技术学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号