On Families of Graphs Having a Decidable First Order Theory with Reachability.

Thomas Colcombet

Browse the full ICALP paper archive.