Path of subterms ordering and recursive decomposition ordering revisited

  • Michael Rusinowitch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 202)


The relationship between several simplification orderings is investigated: PSO, RPO, RDO. RDO is improved in order to deal with more pairs of terms, and made more efficient and easy to handle, by removing useless computations.


Induction Hypothesis Compatibility Property Simple Decomposition Simplification Ordering Recursive Decomposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Plaisted D. A recursively defined ordering for proving termination of term rewriting systems. University of Illinois sept.78 UIUCDCS_R_78_943Google Scholar
  2. [2]
    Jouannaud J-P, Lescanne P., Reinig F. Recursive decomposition ordering Formal description of programming concepts Bjorner D. North Holland 1983Google Scholar
  3. [3]
    Lescanne P. Some properties of decomposition orderings,a simplification ordering to prove termination of rewriting systems. RAIRO Informatique theorique.No 4_82Google Scholar
  4. [4]
    Jouannaud J-P., Lescanne P. On multiset orderings. Information Processing Letters No 15_82 pp57–63Google Scholar
  5. [5]
    Dershowitz N. Ordering for term rewriting systems Proc. 20th Symposium on foundations of computer science 1979.Google Scholar
  6. [6]
    Kapur D., Narendran P., Sivakumar G. A path ordering for proving termination of Term Rewriting Systems To appear in CAAP '85Google Scholar
  7. [7]
    Lescanne P. Uniform termination of term rewriting systems — Recursive decomposition ordering with status. CAAP '84.Google Scholar
  8. [8]
    Rusinowitch M. Extension de la notion de status dans les ordres de decomposition. Internal report. CRIN 85.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Michael Rusinowitch
    • 1
  1. 1.Centre de Recherche en Informatique de NancyVandoeuvre CedexFrance

Personalised recommendations