2 RESULTS IN TERM REWRITING THEOREM-PROVING

被引：0

|

作者：

HSIANG, J

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：301 / 324

页数：24

相关论文

共 50 条

[21] A MACHINE PROGRAM FOR THEOREM-PROVING
DAVIS, M
LOGEMANN, G
LOVELAND, D
COMMUNICATIONS OF THE ACM, 1962, 5 (07) : 394 - 397
[22] THEOREM-PROVING LANGUAGE FOR EXPERIMENTATION
HENSCHEN, L
OVERBEEK, R
WOS, L
COMMUNICATIONS OF THE ACM, 1974, 17 (06) : 308 - 314
[23] THEOREM-PROVING WITH RESOLUTION AND SUPERPOSITION
RUSINOWITCH, M
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (1-2) : 21 - 49
[24] THEOREM-PROVING FOR INTENSIONAL LOGIC
RAMSAY, A
JOURNAL OF AUTOMATED REASONING, 1995, 14 (02) : 237 - 255
[25] AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
Goc, Daniel
Henshall, Dane
Shallit, Jeffrey
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (06) : 781 - 798
[26] THE KRIPKE AUTOMATED THEOREM-PROVING SYSTEM
THISTLEWAITE, PB
MCROBBIE, MA
MEYER, RK
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 705 - 706
[27] HEURISTIC CRITERIA IN REFUTATIONAL THEOREM-PROVING
ANANTHARAMAN, S
ANDRIANARIVELO, N
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 184 - 193
[28] CONCEPT OF WEAK SUBSTITUTION IN THEOREM-PROVING
STILLMAN, RB
JOURNAL OF THE ACM, 1973, 20 (04) : 648 - 667
[29] Another look at automated theorem-proving
Koblitz, Neal
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2007, 1 (04) : 385 - 403
[30] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297

← 1 2 3 4 5 →