Automatic Structures and Groups

DOI10.1007/978-3-642-21254-3_2zbMath1330.68163OpenAlexW88344487MaRDI QIDQ3004565

Bakhadyr Khoussainov

Publication date: 3 June 2011

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21254-3_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Model theory of finite structures (03C13) Computable structure theory, computable model theory (03C57)

This page was built for publication: Automatic Structures and Groups