The isomorphism problem for -automatic trees

DOI10.1016/J.APAL.2012.09.001zbMATH Open1273.03125OpenAlexW2168257317MaRDI QIDQ1759366FDOQ1759366

Authors: Dietrich Kuske, Jiamou Liu, Markus Lohrey 

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

Recommendations

• The isomorphism problem for \(\omega \)-automatic trees
• The isomorphism relation between tree-automatic structures
• The isomorphism problem on classes of automatic structures with transitive relations
• A hierarchy of tree-automatic structures
• Tree-automatic well-founded trees

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)

Cited In (8)

• Tree-automatic scattered linear orders
• A hierarchy of tree-automatic structures
• The isomorphism relation between tree-automatic structures
• On automorphism groups of \(\omega \)-trees
• Tree-automatic well-founded trees
• The isomorphism problem for \(\omega \)-automatic trees
• The isomorphism problem for tree-automatic ordinals with addition
• The isomorphism problem on classes of automatic structures with transitive relations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1759366)