TY - RPRT TI - Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group AU - Vitaly Roman'kov PY - 2022 UR - https://arxiv.org/abs/2209.14786 ID - 2209.14786 ER -