Automatic structures

DOI10.4171/AUTOMATA-2/6MaRDI QIDQ2244823zbMATH OpenOpenAlexFDO

Authors Sasha Rubin

Publication date 12 November 2021

Full work available at URL https://doi.org/10.4171/automata-2/6

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Automata and formal grammars in connection with logical questions (03D05)

Review text

Summary: For the entire collection see [Zbl 1470.68002].

Recommendations

• scientific article; zbMATH DE number 2040323
• Automatic structures: twenty years later
• Automatic Structures: Richness and Limitations
• Automatic structures and groups
• Semiautomatic structures
• Semiautomatic structures
• scientific article; zbMATH DE number 978505
• Three lectures on automatic structures

Cited in

(10)

• Symbolic methods and automata
• Construction Automation
• Model Theoretic Complexity of Automatic Structures (Extended Abstract)
• Unary Automatic Graphs: An Algorithmic Perspective
• Automatic Attribute Profiles
• Subalgebras of FA-presentable algebras.
• Learners based on transducers
• Simple classes of automatic structures
• A class of rational trace relations closed under composition
• Games with -automatic preference relations

This page was built for publication: Automatic structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2244823)