On a Problem of Boone.
From MaRDI portal
Decidability of theories and sets of sentences (03B25) Other degrees and reducibilities in computability and recursion theory (03D30) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Cited in
(2)
This page was built for publication: On a Problem of Boone.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5669474)