The isomorphism problem for -automatic trees

DOI10.1016/J.APAL.2012.09.001MaRDI QIDQ1759366zbMATH OpenOpenAlexFDO

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

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)

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

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
• The isomorphism problem for \(\omega \)-automatic trees
• Tree-automatic well-founded 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)