Isomorphisms of scattered automatic linear orders.
From MaRDI portal
Publication:4649565
DOI10.4230/LIPIcs.CSL.2012.455zbMath1252.03103OpenAlexW2786646925MaRDI QIDQ4649565
Publication date: 22 November 2012
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3690/
Undecidability and degrees of sets of sentences (03D35) Computable structure theory, computable model theory (03C57)
Related Items (1)
This page was built for publication: Isomorphisms of scattered automatic linear orders.