Nathalie Aubrun, Marie-Pierre Béal
Decidability of Conjugacy of Tree-Shifts of Finite Type
ICALP, 2009.
@inproceedings{ICALP-v1-2009-AubrunB, author = "Nathalie Aubrun and Marie-Pierre Béal", booktitle = "{Proceedings of the 36th International Colloquium on Automata, Languages and Programming, Part I}", doi = "10.1007/978-3-642-02927-1_13", isbn = "978-3-642-02926-4", pages = "132--143", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Decidability of Conjugacy of Tree-Shifts of Finite Type}", volume = 5555, year = 2009, }