Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Titre:   
[Sémi-doc] Bounded rewriting for words and terms

Date 2011-03-17  14:00-15:00
Nom[Sémi-doc] Bounded rewriting for words and terms 
DescriptionWe study a rewriting strategy called the bounded stategy. First, we introduce this stategy for semi-Thue rewriting systems and linear term rewriting systems and we show that several termination problems are decidable for this stategy. Then, we extend it to left-linear term rewriting systems, and we show that bounded rewriting effectively inverse-preserves recognizability. 
LieuSalle 178 
ContactMarc SYLVESTRE 



Aucun document lié à cet événement.

Retour
Retour à l'index