MODULAR TERM REWRITING-SYSTEMS AND THE TERMINATION

[1] TERMINATION OF REWRITING [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 69 - 116

[2] HUET G, 1980, FORMAL LANGUAGE THEO, P349

[3] KURIHARA M, 1989, IPSJ SIG SF31 REP

[4] Kurihara M., 1988, IEICE, P57

[5] MIDDELDORP A, 1989, 4TH P IEEE S LOG COM

[6] MIDDELDORP A, 1989, LECTURE NOTES COMPUT, V355

[7] O'Donnell Michael J., 1985, EQUATIONAL LOGIC PRO

[8] ON TERMINATION OF THE DIRECT SUM OF TERM-REWRITING SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1987, 26 (02) : 65 - 70

[9] ON THE CHURCH-ROSSER PROPERTY FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS [J]. JOURNAL OF THE ACM, 1987, 34 (01) : 128 - 143

[10] COUNTEREXAMPLES TO TERMINATION FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 141 - 143

[1] TERMINATION OF REWRITING [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 69 - 116

[2] HUET G, 1980, FORMAL LANGUAGE THEO, P349

[3] KURIHARA M, 1989, IPSJ SIG SF31 REP

[4] Kurihara M., 1988, IEICE, P57

[5] MIDDELDORP A, 1989, 4TH P IEEE S LOG COM

[6] MIDDELDORP A, 1989, LECTURE NOTES COMPUT, V355

[7] O'Donnell Michael J., 1985, EQUATIONAL LOGIC PRO

[8] ON TERMINATION OF THE DIRECT SUM OF TERM-REWRITING SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1987, 26 (02) : 65 - 70

[9] ON THE CHURCH-ROSSER PROPERTY FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS [J]. JOURNAL OF THE ACM, 1987, 34 (01) : 128 - 143

[10] COUNTEREXAMPLES TO TERMINATION FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS [J]. INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 141 - 143