| Pierre Réty LIFO Université d'Orléans BP 6759 F-45067 Orléans Cedex 2 France |
|
Research interests :
Rewriting, equational unification, tree languages, concurrency.
Publications (since 1995)
Software : TAJA, a graphic tool for tree automata