The isomorphism problem for ω-automatic trees

Dietrich Kuske, Jiamou Liu, Markus Lohrey. The isomorphism problem for ω-automatic trees. Annals of Pure and Applied Logic, 164(1):30-48, 2013. [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