Etude de la stratégie de réécriture de termes k-bornée

Etude de la stratégie de réécriture de termes k-bornée

Nous introduisons la stratégie de réécriture de termes k-bornée (bo(k), pour k entier) pour les systèmes linéaires. Cette stratégie est associée à une classe de systèmes dits k-bornés LBO(k). Nous démontrons que les systèmes de la classe LBO (union des LBO(k) pour tous les k), inversent-préservent l...

Full description

Bibliographic Details
Main Author: Sylvestre, Marc
Other Authors: Bordeaux
Language:fr
Published: 2014
Subjects:
Réécriture de termes,
Stratégies
Préservation de la reconnaissabilité,
Terminaison
Term rewriting,
Strategies
Préservation of recognizability,
Termination
Online Access:http://www.theses.fr/2014BORD0121/document

Internet

http://www.theses.fr/2014BORD0121/document

Similar Items