New Directions for Syntactic Termination Orderings

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We indicate some questions arising from our recent work on orderings.

There is a wide diversity of orderings on data structures such as strings, multisets, vectors, permutations and terms: for details start with the survey papers by Dershowitz [18], Steinbach [75] or Gallier [27]. This paper discusses some new research directions arising from recent work by the author and others.
Original languageEnglish
Title of host publicationSymbolic Rewriting Techniques
EditorsManuel Bronstein, Volker Weispfenning, Johannes Grabmeier
Place of PublicationBasel
PublisherBirkhäuser Basel
Number of pages16
ISBN (Electronic)978-3-0348-8800-4
ISBN (Print)978-3-0348-9779-2
Publication statusPublished - 1998

Publication series

NameProgress in Computer Science and Applied Logic


Dive into the research topics of 'New Directions for Syntactic Termination Orderings'. Together they form a unique fingerprint.

Cite this