Automatic Structures and Groups

DOI10.1007/978-3-642-21254-3_2zbMATH Open1330.68163OpenAlexW88344487MaRDI QIDQ3004565FDOQ3004565

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) 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)

Cited In (5)

• EQUIVALENT AUTOMATIC STRUCTURES AND THEIR BOUNDARIES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)