Well-behaved inference rules for first-order theorem proving
文献类型：期刊论文
| 作者 | Wu, JZ; Liu, ZJ |
| 刊名 | JOURNAL OF AUTOMATED REASONING
 |
| 出版日期 | 1998-12-01 |
| 卷号 | 21期号:3页码:381-400 |
| 关键词 | inference rule first-order polynomial set-of-support deduction linear deduction |
| ISSN号 | 0168-7433 |
| 英文摘要 | The concept of well-behaved inference rules is developed in first-order polynomial-based theorem proving. It is shown that well-behaved inference rules are complete for both the set of support strategy and the linear strategy. Furthermore, two concrete inference rules that are well behaved are presented, and two other strategies for them are described. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000076951100006 |
| 出版者 | KLUWER ACADEMIC PUBL |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/13415]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 1.Peking Univ, Dept Math, Beijing 100871, Peoples R China 2.Acad Sinica, Inst Syst Sci, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Wu, JZ,Liu, ZJ. Well-behaved inference rules for first-order theorem proving[J]. JOURNAL OF AUTOMATED REASONING,1998,21(3):381-400. |
| APA | Wu, JZ,&Liu, ZJ.(1998).Well-behaved inference rules for first-order theorem proving.JOURNAL OF AUTOMATED REASONING,21(3),381-400. |
| MLA | Wu, JZ,et al."Well-behaved inference rules for first-order theorem proving".JOURNAL OF AUTOMATED REASONING 21.3(1998):381-400. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。