Florent Jacquemard

Documents

Publications

35548

jean-bresson

"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