[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: Pierre Lescanne
Date: April 1991
Summary: How can the notion of well-rewrite-ordering be used to as the basis for some new kind of “recursive path ordering”?
In [Les90] an extension of term embedding, called “well-rewrite orderings”, was introduced, leading to an extension of the concept of simplification ordering. How can those ideas best be extended to form the basis for some new kind of “recursive path ordering”?
Progress in this direction has been reported in [Wei92].
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |