PROOF NORMALIZATION FOR RESOLUTION AND PARAMODULATION

被引：0

|

作者：

BACHMAIR, L

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：15 / 28

页数：14

相关论文

共 50 条

[31] KNUTH-BENDIX COMPLETION OF HORN CLAUSE PROGRAMS FOR RESTRICTED LINEAR RESOLUTION AND PARAMODULATION
BERTLING, H
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 181 - 193
[32] Connection tableaux with lazy paramodulation
Paskevich, Andrei
JOURNAL OF AUTOMATED REASONING, 2008, 40 (2-3) : 179 - 194
[33] Connection Tableaux with Lazy Paramodulation
Andrei Paskevich
Journal of Automated Reasoning, 2008, 40 : 179 - 194
[34] The importance of normalization in the interpretation of surface electromyography: A proof of principle
Nicholson, WR
JOURNAL OF MANIPULATIVE AND PHYSIOLOGICAL THERAPEUTICS, 2000, 23 (05) : 369 - 370
[35] Realizability Proof for Normalization of Full Differential Linear Logic
Gimenez, Stephane
TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 107 - 122
[36] A bargain for intersection types: a simple strong normalization proof
Neergaard, PM
JOURNAL OF FUNCTIONAL PROGRAMMING, 2005, 15 : 669 - 677
[37] The importance of normalization in the interpretation of surface electromyography: A proof of principle
Lehman, GJ
McGill, SM
JOURNAL OF MANIPULATIVE AND PHYSIOLOGICAL THERAPEUTICS, 1999, 22 (07) : 444 - 446
[38] On Strong Normalization in Proof-Graphs for Propositional Logic
Quispe-Cruz, Marcela
Haeusler, Edward
Gordeev, Lew
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 (323) : 181 - 196
[39] BASIC PARAMODULATION AND SUPERPOSITION
BACHMAIR, L
GANZINGER, H
LYNCH, C
SNYDER, W
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 462 - 476
[40] Proof Complexity of Modal Resolution
Sarah Sigley
Olaf Beyersdorff
Journal of Automated Reasoning, 2022, 66 : 1 - 41

← 1 2 3 4 5 →