Thomas Colcombet
On Families of Graphs Having a Decidable First Order Theory with Reachability
ICALP, 2002.
@inproceedings{ICALP-2002-Colcombet, author = "Thomas Colcombet", booktitle = "{Proceedings of the 29th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-45465-9_10", isbn = "3-540-43864-5", pages = "98--109", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On Families of Graphs Having a Decidable First Order Theory with Reachability}", volume = 2380, year = 2002, }