Two results on complexities of decision problems of groups

zbMatharXiv:2403.02492MaRDI QIDQ6524596

Matthew Harrison-Trainor, Uri Andrews, Meng-Che ``Turbo Ho

Publication date: 1 January 1

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Hierarchies of computability and definability (03D55)

This page was built for publication: Two results on complexities of decision problems of groups