JB
Jean Bresson
1
Documents
Identifiants chercheurs
- jean-bresson
- 0000-0003-4986-4013
- IdRef : 110827171
Présentation
Publications
- 1
- 1
- 1
- 1
Rhythm Tree RewritingMeeting 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
|