Isomorphisms of scattered automatic linear orders.

DOI10.4230/LIPIcs.CSL.2012.455zbMath1252.03103OpenAlexW2786646925MaRDI QIDQ4649565

Dietrich Kuske

Publication date: 22 November 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3690/

zbMATH Keywords

automorphismisomorphismautomatic structures

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Computable structure theory, computable model theory (03C57)

Related Items (1)

The isomorphism problem on classes of automatic structures with transitive relations

This page was built for publication: Isomorphisms of scattered automatic linear orders.