Title | ||
---|---|---|
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- |
Abstract | ||
---|---|---|
The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that two term rewriting systems both are left-linear and complete if and only if the direct sum of these systems is so. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/3-540-51081-8_127 | RTA |
Keywords | Field | DocType |
direct sum,preliminary draft,left-linear term rewriting systems | Discrete mathematics,Algebraic number,Computer science,Direct sum,Algorithm,Implementation,Input/output,Rewriting,Hull,Modular structure,Technical report | Conference |
ISBN | Citations | PageRank |
3-540-51081-8 | 29 | 2.92 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yoshihito Toyama | 1 | 533 | 49.60 |
Jan Willem Klop | 2 | 1498 | 161.90 |
Hendrik Pieter Barendregt | 3 | 30 | 3.62 |