Publication:3336681
From MaRDI portal
zbMath0546.68020MaRDI QIDQ3336681
Publication date: 1984
REVE; Recursive Decomposition Ordering; termination of Term Rewriting systems; well-founded ordering
68Q65: Abstract data types; algebraic specification
68N99: Theory of software
03D03: Thue and Post systems, etc.
68-04: Software, source code, etc. for problems pertaining to computer science
Related Items
An overview of LP, the Larch Prover, Extensions and comparison of simplification orderings, Two applications of analytic functors, On the recursive decomposition ordering with lexicographical status and other related orderings, Termination of rewriting, Path of subterms ordering and recursive decomposition ordering revisited, Proving termination of (conditional) rewrite systems. A semantic approach, An improved general path order
Uses Software