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,
}











