TERMINATION ORDERINGS FOR ASSOCIATIVE-COMMUTATIVE REWRITING-SYSTEMS

被引：45

作者：

BACHMAIR, L

PLAISTED, DA

机构：

[1] UNIV ILLINOIS,DEPT COMP SCI,URBANA,IL 61801

[2] UNIV N CAROLINA,DEPT COMP SCI,CHAPEL HILL,NC 27514

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1985年 / 1卷 / 04期

关键词：

D O I：

10.1016/S0747-7171(85)80019-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：329 / 349

页数：21

共 33 条

[1]

BACHMAIR L, 1985, UNPUB COMMUTATION TR

[2] ORDERINGS FOR TERM-REWRITING SYSTEMS [J].

DERSHOWITZ, N .

THEORETICAL COMPUTER SCIENCE, 1982, 17 (03) :279-301

[3] NOTE ON SIMPLIFICATION ORDERINGS [J].

DERSHOWITZ, N .

INFORMATION PROCESSING LETTERS, 1979, 9 (05) :212-215

[4] PROVING TERMINATION WITH MULTI-SET ORDERINGS [J].

DERSHOWITZ, N ;

MANNA, Z .

COMMUNICATIONS OF THE ACM, 1979, 22 (08) :465-476

[5]

DERSHOWITZ N, 1985, UNPUB INF CONTROL

[6]

DERSHOWITZ N, 1985, LECT NOTES COMP SCI

[7] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION [J].

GUTTAG, JV ;

HOROWITZ, E ;

MUSSER, DR .

COMMUNICATIONS OF THE ACM, 1978, 21 (12) :1048-1064

[8] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS [J].

HSIANG, J .

ARTIFICIAL INTELLIGENCE, 1985, 25 (03) :255-300

[9] CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS [J].

HUET, G .

JOURNAL OF THE ACM, 1980, 27 (04) :797-821

[10]

HUET G, 1978, IRIA283 RAPP LAB

← 1 2 3 4 →