Concepedia
Information Processing Letters · 1990 · 21 citations · 6 references
ComputingComputer ScienceFormal MethodsTermination AnalysisTerm RewritingTerm Rewriting SystemsTermination Of Term Rewriting Systems
6
Simplification by Cooperating Decision Procedures
Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text
Computing, Computer Science, Decision Theory +16
Termination of rewriting
Nachum Dershowitz · Journal of Symbolic Computation · 1987 · 725 citations
Counterexamples to termination for the direct sum of term rewriting systems
Yoshihito Toyama · Information Processing Letters · 1987 · 170 citations
Computing, Computer Science, Formal Methods +5
On the Church-Rosser property for the direct sum of term rewriting systems
Yoshihito Toyama · Journal of the ACM · 1987 · 159 citations · Full text
Computing, Computer Science, Mathematics +8
On termination of the direct sum of term-rewriting systems
Michaël Rusinowitch · Information Processing Letters · 1987 · 84 citations · Full text
Computing, Computer Science, Algorithms +8