Luc Segoufin

Identifiers

No identifiers captured yet.

Papers (2)

1. Decidable Characterization of FO2(<,+1) and locality of DA cs.FL · 2016 · author #2
2. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems cs.FL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Florent Jacquemard 1 shared papers
• Jer\'emie Dimino 1 shared papers
• Thomas Place 1 shared papers