Browsing LCS Technical Memos (1974 - 2003) by Author "Jouannaud, Jean-Pierre"

Now showing items 1-1 of 1

    • Recursive Decomposition Ordering and Multiset Orderings 

      Jouannaud, Jean-Pierre; Lescanne, Pierre; Reinig, Fernand (1982-06)
      The Recursive Decomposition Ordering, a simplification ordering on terms, is useful to prove termination of term rewriting systems. In this paper we give the definition of the decomposition ordering and prove that it is a ...