TY - JOUR AU - V. A. Roman'kov TI - Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2023 SP - 293 EP - 305 VL - 20 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2023_20_1_a9/ LA - en ID - SEMR_2023_20_1_a9 ER -