Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
|
|
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
Communication dans un congrès
hal-01149319v2
|