ON THE CHURCH-ROSSER PROPERTY FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS

被引：98

作者：

TOYAMA, Y

机构：

[1] NTT, Electrical Communication Lab,, Tokyo, Jpn, NTT, Electrical Communication Lab, Tokyo, Jpn

来源：

关键词：

CHURCH-ROSSER PROPERTY - DISJOINT SETS OF FUNCTION SYMBOLS - TERM REWRITING SYSTEMS;

D O I：

10.1145/7531.7534

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：128 / 143

页数：16

共 7 条

[1] BARENDREGT HP, 1981, LAMBDA CALCULUS ITS
[2] CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS
HUET, G
[J]. JOURNAL OF THE ACM, 1980, 27 (04) : 797 - 821
[3] KLOP JW, 1980, THESIS U UTRECHT NET
[4] ODONNELL MJ, 1977, LECTURE NOTES COMPUT, V58
[5] TREE-MANIPULATING SYSTEMS AND CHURCH-ROSSER THEOREMS
ROSEN, BK
[J]. JOURNAL OF THE ACM, 1973, 20 (01) : 160 - 187
[6] STAPLES J, 1975, LECT NOTES MATH, V450, P291
[7] Toyama Y., 1983, Transactions of the Institute of Electronics and Communication Engineers of Japan, Part D, VJ66D, P1370