Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
|
Tree Automata with Constraints: a brief surveyTree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Document associé à des manifestations scientifiques
hal-00840959v1
|