Number of documents


"Camille Vacher"   

Journal articles2 documents

Conference papers2 documents

  • Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher. The Emptiness Problem for Tree Automata with Global Constraints. 25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩. ⟨inria-00578901⟩
  • Florent Jacquemard, Francis Klay, Camille Vacher. Rigid Tree Automata. 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⟩. ⟨inria-00579001⟩