Florent Jacquemard
3
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
|
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
|
|
Rewrite-Based Verification of XML Updates12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
Communication dans un congrès
inria-00578916v1
|