Florent Jacquemard
4
Documents
Publications
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
|
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat TheoriesLogical Methods in Computer Science, 2013, 9 (2), pp.1-39
Article dans une revue
hal-00852382v1
|
|
Rigid Tree Automata and ApplicationsInformation and Computation, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩
Article dans une revue
inria-00578820v1
|
|
The Emptiness Problem for Tree Automata with Global Constraints25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩
Communication dans un congrès
inria-00578901v1
|
|
Rigid Tree AutomataThird International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.446-457, ⟨10.1007/978-3-642-00982-2_38⟩
Communication dans un congrès
inria-00579001v1
|