TERMINATION FOR THE DIRECT SUM OF LEFT-LINEAR TERM REWRITING-SYSTEMS - PRELIMINARY DRAFT

被引：0

作者：

TOYAMA, Y

KLOP, JW

BARENDREGT, HP

机构：

[1] CTR MATH & COMP SCI, 1098 SJ AMSTERDAM, NETHERLANDS

[2] CATHOLIC UNIV NIJMEGEN, INFORMAT, 6525 ED NIJMEGEN, NETHERLANDS

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：477 / 491

页数：15

共 11 条

[1] DERSHOWITZ N, 1981, LECTURE NOTES COMPUT, V115, P448
[2] GANZINGER H, 1987, EATCS B, V31, P22
[3] HUET G, 1980, FORMAL LANGUAGE THEO, P349
[4] KLOP JW, 1986, COMMUNICATION 0119
[5] MIDDELDORP A, 1988, IR150 FREE U REP
[6] MIDDELDORP A, 1988, MODULAR ASPECTS PROP
[7] ON TERMINATION OF THE DIRECT SUM OF TERM-REWRITING SYSTEMS
RUSINOWITCH, M
[J]. INFORMATION PROCESSING LETTERS, 1987, 26 (02) : 65 - 70
[8] ON THE CHURCH-ROSSER PROPERTY FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS
TOYAMA, Y
[J]. JOURNAL OF THE ACM, 1987, 34 (01) : 128 - 143
[9] COUNTEREXAMPLES TO TERMINATION FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS
TOYAMA, Y
[J]. INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 141 - 143
[10] TOYAMA Y, 1988, IEICE COM8830 TECHN, P47