USE OF CONDITIONAL TERM REWRITING-SYSTEMS IN AUTOMATIC THEOREM-PROVING .1.

被引：0

|

作者：

VOROBYEV, SG

机构：

来源：

SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES | 1989年 / 27卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：49 / 59

页数：11

相关论文

共 50 条

[1] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297
[2] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS
HSIANG, J
ARTIFICIAL INTELLIGENCE, 1985, 25 (03) : 255 - 300
[3] THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING
HSIANG, J
KIRCHNER, H
LESCANNE, P
RUSINOWITCH, M
JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2): : 71 - 99
[4] 2 RESULTS IN TERM REWRITING THEOREM-PROVING
HSIANG, J
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 301 - 324
[5] PROVING TERMINATION FOR TERM REWRITING-SYSTEMS
WEIERMANN, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 419 - 428
[6] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[7] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227
[8] ON THE USE OF CONDITIONAL REWRITE RULES IN INDUCTIVE THEOREM-PROVING
FRIBOURG, L
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 56 - 61
[9] A PATH ORDERING FOR PROVING TERMINATION OF TERM REWRITING-SYSTEMS
KAPUR, D
NARENDRAN, P
SIVAKUMAR, G
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 173 - 187
[10] PROVING INDUCTIVE THEOREMS BASED ON TERM REWRITING-SYSTEMS
HOFBAUER, D
KUTSCHE, RD
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 180 - 190

← 1 2 3 4 5 →