The isomorphism problem for -automatic trees

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

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)

Cited In (2)

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

   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 👍 👎

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)