INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY

INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY

导出

摘要 The main results of this note are an extension of (1)Definition. Let S be a set of lock clauses, D a linear deduction about empty clause □ from S. Its side clauses are B0, B1,..., Bn-1 and center clauses are C0, C1, ...,

作者吴茂康

机构地区 Shanghai University of Science and Technology

出处《Chinese Science Bulletin》 SCIE EI CAS 1988年第15期1233-1234,共2页

关键词 resolution paramodulation INPUT semi-lock REFUTATION HORN SET E-unsatisfiable SET resolution paramodulation input semi-lock refutation Horn set E-unsatisfiable set

分类号 TP39 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

1张玉平.Horn style deduction relation[J].Science China(Technological Sciences),1998,41(3):280-287.
2战法权.MP3播放器复活记刷新Firmware修复MP3播放器[J].微型计算机,2005,25(13):140-140.
3王兵山,李舟军,陈火旺.Universal Abstract Consistency Class and Universal Refutation[J].Journal of Computer Science & Technology,1999,14(2):165-172.
4Diondia Motta Monte-Serrat Leda Verdiani Tfouni.Equality as an Effect of Meaning and the Uncertainties of the Legal Discourse[J].US-China Foreign Language,2013,11(5):343-348.
5陈伟鹤,陈霖.基于条件函数依赖的隐私保护模型[J].计算机应用研究,2012,29(10):3838-3841. 被引量：1
6许庆功,李孜,赵佳,张永胜.高速异步FIFO的设计与实现[J].微计算机信息,2009(20):153-155. 被引量：1
7酷软[J].电脑爱好者,2011(6):44-44.
8贺琛,韩建兵,明月.基于FPGA的ASI数据发送卡的设计[J].计算机与网络,2016,42(12):60-62. 被引量：2
9LifengHe,YuyanChao,HidenoriItoh.Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving[J].Journal of Computer Science & Technology,2003,18(5):580-591.
10秋雁南回.Windows的“清道夫”——Empty Temp Folders[J].电脑爱好者,2003(15):35-36.

Chinese Science Bulletin

1988年第15期

浏览历史

内容加载中请稍等...

INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY

相关作者

相关机构

相关主题

浏览历史