Jer\'emie Dimino

Identifiers

• name variant Jer\'emie Dimino 0.50 · backfill

Papers (1)

1. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems cs.FL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Florent Jacquemard 1 shared papers
• Luc Segoufin 1 shared papers