CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS

被引：620

作者：

HUET, G

机构：

来源：

JOURNAL OF THE ACM | 1980年 / 27卷 / 04期

关键词：

D O I：

10.1145/322217.322230

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：797 / 821

页数：25

相关论文

共 39 条

[1] AHO A, 1972, P COURANT COMPUTER S, V5, P89
[2] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
BURSTALL, RM
[J]. COMPUTER JOURNAL, 1969, 12 (01) : 41 - &
[3] Some properties of conversion
Church, Alonzo
Rosser, J. B.
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1936, 39 (1-3) : 472 - 482
[4] COHN PM, 1965, UNIVERSAL ALGEBRA
[5] Curry H., 1958, COMBINATORY LOGIC, V1
[6] PROVING TERMINATION WITH MULTI-SET ORDERINGS
DERSHOWITZ, N
MANNA, Z
[J]. COMMUNICATIONS OF THE ACM, 1979, 22 (08) : 465 - 476
[7] SEMI-AUTOMATED MATHEMATICS
GUARD, JR
OGLESBY, FC
BENNETT, JH
SETTLE, LG
[J]. JOURNAL OF THE ACM, 1969, 16 (01) : 49 - &
[8] AN ABSTRACT FORM OF CHURCH-ROSSER THEOREM .1.
HINDLEY, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (04) : 545 - &
[9] ABSTRACT CHURCH-ROSSER THEOREM .2. APPLICATIONS
HINDLEY, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 1 - 21
[10] HINDLEY R, 1972, LONDON MATH SOC LECT, V7

← 1 2 3 4 →