Page d'accueil du CNRS Page d'accueil de Paris Diderot Page d'accueil du LIAFA
LIAFA		 Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0)1.57.27.92.56 - Fax: +33(0)1.57.27.94.09
 Page d'accueil de la fondation Sciences Mathématiques de Paris Page d'accueil de FRMPC
   Staff      Contact      How to get to LIAFA      Teaching      Webmail   


Version française
Seminars

  • Date: 1999-02-12
  • Author: Hélène Touzet (LIFL)
  • Title: Complexité des systèmes de réécriture de mots
  • Summary:

    • Le lemme de Higman fournit un critère syntaxique pour établir la terminaison des systèmes de réécriture de mots. En utilisant la théorie des ordinaux, nous étudions quelle est alors la complexité du système de réécriture à travers les dérivations maximales autorisées.



 
 ©  LIAFA 1995, Last updating: 2013, May webmestre[at]liafa.univ-paris-diderot.fr