Automatic structures and groups
From MaRDI portal
Model theory of finite structures (03C13) Computable structure theory, computable model theory (03C57) Automata and formal grammars in connection with logical questions (03D05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70)
Recommendations
Cited in
(9)- Automatic structures
- Groups of automatic automorphisms of some automatic structures
- Groups and automata: a perfect match
- scientific article; zbMATH DE number 67431 (Why is no real title available?)
- scientific article; zbMATH DE number 139736 (Why is no real title available?)
- EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
- scientific article; zbMATH DE number 2040323 (Why is no real title available?)
- scientific article; zbMATH DE number 848084 (Why is no real title available?)
- Groups and automata: a perfect match
This page was built for publication: Automatic structures and groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3004565)