Number of documents



Journal articles1 document

Conference papers2 documents

  • Florent Jacquemard, Michael Rusinowitch. Rewrite-Based Verification of XML Updates. 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩. ⟨inria-00578916⟩
  • 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⟩