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 条

[21] HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING
NEVINS, AJ
JOURNAL OF THE ACM, 1974, 21 (04) : 606 - 621
[22] AUTOMATIC INDUCTIVE THEOREM-PROVING USING PROLOG
HSIANG, J
SRIVAS, M
THEORETICAL COMPUTER SCIENCE, 1987, 54 (01) : 3 - 28
[23] EXPLOITING SMALL CLAUSES IN AUTOMATIC THEOREM-PROVING
LEE, SJ
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1993, 12 (03): : 209 - 228
[24] THEOREM-PROVING SYSTEMS OF THE FORMEL PROJECT
HUET, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 687 - 688
[25] TERM REWRITING-SYSTEMS AND ALGEBRA
LESCANNE, P
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
[26] ON PROVING UNIFORM TERMINATION AND RESTRICTED TERMINATION OF REWRITING-SYSTEMS
GUTTAG, JV
KAPUR, D
MUSSER, DR
SIAM JOURNAL ON COMPUTING, 1983, 12 (01) : 189 - 214
[27] TERM REWRITING-SYSTEMS WITH PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
[28] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
[29] EXTENDED TERM REWRITING-SYSTEMS
KLOP, JW
DEVRIJER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
[30] PETRIREVE - PROVING PETRI NET PROPERTIES WITH REWRITING-SYSTEMS
CHOPPY, C
JOHNEN, C
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 271 - 286

← 1 2 3 4 5 →