The Isomorphism Problem for ::::omega::::-Automatic Trees

Dietrich Kuske, Jiamou Liu, Markus Lohrey. The Isomorphism Problem for ::::omega::::-Automatic Trees. In Anuj Dawar, Helmut Veith, editors, Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6247 of Lecture Notes in Computer Science, pages 396-410, Springer, 2010. [doi]

Authors

Dietrich Kuske

This author has not been identified. Look up 'Dietrich Kuske' in Google

Jiamou Liu

This author has not been identified. Look up 'Jiamou Liu' in Google

Markus Lohrey

This author has not been identified. Look up 'Markus Lohrey' in Google