New Directions for Syntactic Termination Orderings
Ursula Martin · Birkhäuser Basel eBooks · 1998
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. 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.