Cyril CHENAVIER – Opérateurs de réduction et complétion de systèmes de réécriture linéaires

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 04/05/2017
11 h 00 min - 12 h 00 min

Catégories


En réécriture, la confluence est une propriété garantissant que lorsque deux réductions sont issues d’un même terme, celles-ci confluent vers un terme commun. Dans cet exposé, on s’intéresse à la propriété de confluence de systèmes de réécriture linéaires décrits par des opérateurs de réduction. Cette description permet d’interpréter en termes de treillis les obstructions à la confluence.
On en déduit des formulations de la confluence et de la complétion, ainsi qu’une méthode de complétion des systèmes de réécriture linéaires en termes de treillis.

https://www.irif.fr/users/chenavier/index


Retour en haut 

Secured By miniOrange