Thomas Place, Luc Segoufin
A Decidable Characterization of Locally Testable Tree Languages
ICALP, 2009.
@inproceedings{ICALP-v2-2009-PlaceS, author = "Thomas Place and Luc Segoufin", booktitle = "{Proceedings of the 36th International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/978-3-642-02930-1_24", isbn = "978-3-642-02929-5", pages = "285--296", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Decidable Characterization of Locally Testable Tree Languages}", volume = 5556, year = 2009, }