Two results on complexities of decision problems of groups
From MaRDI portal
Publication:6524596
arXiv2403.02492MaRDI QIDQ6524596FDOQ6524596
Matthew Harrison-Trainor, Uri Andrews, Meng-Che ``Turbo Ho
Hierarchies of computability and definability (03D55) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)
This page was built for publication: Two results on complexities of decision problems of groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6524596)