Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
|
|
The Confluence Problem for Flat TRSs8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩
Communication dans un congrès
inria-00579010v1
|