微信服务号

微信订阅号

Home > Archive>Volume 4, Issue 1, 1993 >6-11
PDF HTML XML Export Cite reminder
COMPLETENESS OF INPUT PARAMODULATION AND UNIT PARAMODULATION ON HORN SET
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
    • |
  • Figures
    • |
  • Metrics
    • |
  • Reference
    • |
  • Related
    • |
  • Cited by
    • |
  • Materials
    • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 10,1990
  • Revised:January 10,1991
  • Adopted:
  • Online:
  • Published:
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063