scientific article; zbMATH DE number 1421188
From MaRDI portal
Publication:4946216
Word problems, etc. in computability and recursion theory (03D40) Software, source code, etc. for problems pertaining to group theory (20-04) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Formal languages and automata (68Q45)
Cited in
(4)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4946216)