Publication:4774034

From MaRDI portal


zbMath0286.02047MaRDI QIDQ4774034

Ralph McKenzie, Richard J. Thompson

Publication date: 1973



20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

03D40: Word problems, etc. in computability and recursion theory


Related Items