Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
|
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.Logical Methods in Computer Science, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
Article dans une revue
hal-00769249v3
|