Florent Jacquemard
Identifiers
- name variant Florent Jacquemard 0.60 · backfill
Papers (3)
- FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems cs.FL · 2016 · author #1
- Automated Induction for Complex Data Structures cs.LO · 2008 · author #2
- Visibly Tree Automata with Memory and Constraints cs.LO · 2008 · author #2
Mentions
Frequent Coauthors
- Adel Bouhoula 1 shared papers
- Hubert Comon-Lundh 1 shared papers
- Jer\'emie Dimino 1 shared papers
- Luc Segoufin 1 shared papers
- Nicolas Perrin 1 shared papers