输入调解法和单元调解法在Horn集上的完备性

微信服务号

微信订阅号

首页 > 过刊浏览>1993年第4卷第1期 >6-11

输入调解法和单元调解法在Horn集上的完备性
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:国家自然科学基金;国家教委博士点基金

COMPLETENESS OF INPUT PARAMODULATION AND UNIT PARAMODULATION ON HORN SET

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。

Abstract:

Here we have proved the lifting lemma of paramodulation and the completeness of input paramodulation on Horn set, and then we have also proved the completeness of unit paramodulation on Horn set.

参考文献

相似文献

引证文献

引用本文

欧阳丹彤,孙吉贵,刘叙华.输入调解法和单元调解法在Horn集上的完备性.软件学报,1993,4(1):6-11

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1990-07-10
最后修改日期:1991-01-10
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码