Well rewrite orderings and well quasi-orderings

Abstract : This paper studies well (quasi) orderings described as rewrite orderings and proposes a new family of well (quasi) orderings that extends the embedding or divisibility order of G. Higman. For instance, the well (quasi) orderings proposed in this paper may contain pairs of the form f(f(x)) > f(g(f(x))). Conditions under which the transitive closure of a well-founded rewrite relation is a well-quasi-rodering are given. Finally, an attempt to extend the recursive path ordering is proposed.
Type de document :
Rapport
[Research Report] RR-1385, INRIA. 1991
Liste complète des métadonnées

https://hal.inria.fr/inria-00075176
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:38:58
Dernière modification le : samedi 17 septembre 2016 - 01:06:50
Document(s) archivé(s) le : mardi 12 avril 2011 - 21:37:33

Fichiers

Identifiants

  • HAL Id : inria-00075176, version 1

Collections

Citation

Pierre Lescanne. Well rewrite orderings and well quasi-orderings. [Research Report] RR-1385, INRIA. 1991. 〈inria-00075176〉

Partager

Métriques

Consultations de la notice

106

Téléchargements de fichiers

43