REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS

被引：102

|

作者：

HSIANG, J

机构：

来源：

ARTIFICIAL INTELLIGENCE | 1985年 / 25卷 / 03期

关键词：

D O I：

10.1016/0004-3702(85)90074-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：255 / 300

页数：46

相关论文

共 50 条

[41] THEOREM-PROVING FOR INTENSIONAL LOGIC
RAMSAY, A
JOURNAL OF AUTOMATED REASONING, 1995, 14 (02) : 237 - 255
[42] A TERM-REWRITING CHARACTERIZATION OF PSPACE
Eguchi, N.
PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE, 2010, : 93 - 112
[43] FUZZY TERM-REWRITING SYSTEM
CHURN, JL
LIN, BI
FUZZY SETS AND SYSTEMS, 1991, 44 (01) : 1 - 15
[44] Completion of term-rewriting systems with multiple reduction orderings
Kondo, H
Kurihara, M
Ohuchi, A
SYSTEMS AND COMPUTERS IN JAPAN, 1996, 27 (06) : 33 - 44
[45] A GAP BETWEEN LINEAR AND NONLINEAR TERM-REWRITING SYSTEMS
DAUCHET, M
DECOMITE, F
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 95 - 104
[46] 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
[47] THE KRIPKE AUTOMATED THEOREM-PROVING SYSTEM
THISTLEWAITE, PB
MCROBBIE, MA
MEYER, RK
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 705 - 706
[48] CONCEPT OF WEAK SUBSTITUTION IN THEOREM-PROVING
STILLMAN, RB
JOURNAL OF THE ACM, 1973, 20 (04) : 648 - 667
[49] Another look at automated theorem-proving
Koblitz, Neal
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2007, 1 (04) : 385 - 403
[50] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297

← 1 2 3 4 5 →