Production year

Number of documents

1


"Jérémie Dimino"   

Journal articles1 document

  • Florent Jacquemard, Luc Segoufin, Jérémie Dimino. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32. ⟨hal-00769249v3⟩