Automatic structures and groups
From MaRDI portal
Formal languages and automata (68Q45) Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70) Computable structure theory, computable model theory (03C57) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Recommendations
Cited in
(9)- Groups of automatic automorphisms of some automatic structures
- Groups and automata: a perfect match
- EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
- scientific article; zbMATH DE number 67431 (Why is no real title available?)
- scientific article; zbMATH DE number 848084 (Why is no real title available?)
- Groups and automata: a perfect match
- scientific article; zbMATH DE number 139736 (Why is no real title available?)
- scientific article; zbMATH DE number 2040323 (Why is no real title available?)
- Automatic structures
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)