On multiset orderings

https://doi.org/10.1016/0020-0190(82)90107-7Get rights and content

Abstract

We propose two-well founded orderings on multisets that extend the Dershowitz-Manna ordering. Unlike the Dershowitz-Manna ordering, ours do not have a natural monotonicity property. This lack of monotonicity suggests using monotonicity to provide a new characterization of the Dershowitz-Manna ordering. Section 5 proposes an efficient and correct implementation of that ordering.

Résumé

Dans cette note, on propose deux ordres biend fondés qui étendent l'ordre de Dershowitz et Manna. Ces ordres ne vérifient pas une propriété naturelle de monotonicité que nous définissons. Aussi cela suggére d'utiliser la monotonicité comme une nouvelle caractérisation de l'ordre de Dershowitz et Manna. La cinquiéme section de cette note propose une implantion efficace et correcte de cet ordre.

References (3)

  • N. Dershowitz

    Ordering for term rewriting systems

    Proc. 20th Symp. on Foundations of Computer Science

    (1979)
There are more references available in the full text version of this article.

Cited by (30)

  • Equational Logic and Rewriting

    2014, Handbook of the History of Logic
  • Chapter 1 Knowledge Representation and Classical Logic

    2008, Foundations of Artificial Intelligence
  • Leanest quasi-orderings

    2007, Information and Computation
  • An induction principle for pure type systems

    2001, Theoretical Computer Science
  • Confluence by decreasing diagrams

    1994, Theoretical Computer Science
View all citing articles on Scopus
View full text