TY - RPRT TI - The Adian-Rabin Theorem -- An English translation AU - Carl-Fredrik Nyberg-Brodda PY - 2024 UR - https://arxiv.org/abs/2208.08560 ID - 2208.08560 ER -