Accéder directement au contenu

Florent Jacquemard

4
Documents

Publications

"camille-vacher"
Image document

The Emptiness Problem for Tree Automata with Global Constraints

Luis Barguñó , Carlos Creus , Guillem Godoy , Florent Jacquemard , Camille Vacher
25th 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
Image document

Rigid Tree Automata

Florent Jacquemard , Francis Klay , Camille Vacher
Third 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