The isomorphism problem for \(\omega \)-automatic trees

DOI10.1016/J.APAL.2012.09.001zbMath1273.03125OpenAlexW2168257317MaRDI QIDQ1759366

Dietrich Kuske, Markus Lohrey, Jiamou Liu

Publication date: 20 November 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.09.001

zbMATH Keywords

isomorphism problemanalytical hierarchy\(\omega \)-automatic structures

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Computable structure theory, computable model theory (03C57)

Related Items (2)

Tree-automatic scattered linear orders ⋮ The isomorphism problem for tree-automatic ordinals with addition

This page was built for publication: The isomorphism problem for \(\omega \)-automatic trees