Titre:
Langages synchronises d'arbres et applications (these d'habilitation)

Auteur:
Pierre Rety

Resume:
Afin de manipuler des ensembles infinis de termes, et de disposer d'une 
expressivite plus grande que celle des langages reguliers d'arbres, nous 
introduisons les langages synchronises d'arbres, et nous presentons des 
applications a la reecriture et a la concurrence.