Au cours d’un séjour á l’université de Valencia (Espagne), je me suis intéressé plus particulièrement au problème de la terminaison Context-sensitive pour les systèmes de réécriture d’ordre supérieur.

Nous avons, en collaboration avec Salvador Lucas, proposé à cette occasion une extension du Recursive Path Ordering aux systèmes de réécriture d’ordre supérieur Context-sensitive [FL05].

L’ordre ainsi obtenu est une extension des ordre précédemment connus dans le cadre de la réécriture de premier ordre context-sensitive et dans le cadre de la réécriture d’ordre supérieur.

• Publications

This document was translated from L^AT_EX by H^EV^EA.