Tree-automatic scattered linear orders
From MaRDI portal
Publication:264574
DOI10.1016/j.tcs.2016.02.008zbMath1339.03030OpenAlexW2253092483WikidataQ59864155 ScholiaQ59864155MaRDI QIDQ264574
Philipp Schlicht, Bakhadyr Khoussainov, Frank Stephan, Sanjay Jain
Publication date: 31 March 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.02.008
Automata and formal grammars in connection with logical questions (03D05) Total orders (06A05) Computable structure theory, computable model theory (03C57)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-theoretic complexity of automatic structures
- Finite automata presentable Abelian groups
- On direct products of automaton decidable theories
- Finite automata and ordinals
- The isomorphism problem for \(\omega \)-automatic trees
- Automaticity of ordinals and of homogeneous graphs
- Automata on ordinals and automaticity of linear orders
- Isomorphisms of scattered automatic linear orders
- The isomorphism problem on classes of automatic structures with transitive relations
- Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
- The Rank of Tree-Automatic Linear Orderings
- Three Lectures on Automatic Structures
- Size and Computation of Injective Tree Automatic Presentations
- The additive group of the rationals does not have an automatic presentation
- BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
- Rabin's uniformization problem
- Automata Presenting Structures: A Survey of the Finite String Case
- MSO on the Infinite Binary Tree: Choice and Order
- Automatic linear orders and trees
- Pumping for ordinal-automatic structures1
- STACS 2004
- Automatic Structures: Richness and Limitations
- Transforming structures by set interpretations
- A hierarchy of tree-automatic structures
- Decision methods in the theory of ordinals
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: Tree-automatic scattered linear orders
