Automatic Structures

DOI10.1145/3373718.3394734zbMath1498.03093OpenAlexW3029527042MaRDI QIDQ5145615

Erich Grädel

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394734

zbMATH Keywords

interpretationsdecidable theoriesautomatic structuresfinitely presentable structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15)

Related Items (6)

Symbolic automatic relations and their applications to SMT and CHC solving ⋮ Second-order finite automata ⋮ Lamplighter groups and automata ⋮ A computation model with automatic functions and relations as primitive operations ⋮ Addition machines, automatic functions and open problems of Floyd and Knuth ⋮ String compression in FA-presentable structures

This page was built for publication: Automatic Structures