Accéder directement au contenu
JB

Jean Bresson

1
Documents
Identifiants chercheurs

Présentation

Publications

35548
"pierre-donat-bouillud"

Rhythm Tree Rewriting

Florent Jacquemard , Jean Bresson , Pierre Donat-Bouillud
Meeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria
Communication dans un congrès hal-01109666v1