TY - RPRT TI - Bi-interpretability of Some Monoids with the Arithmetic and Applications AU - Olga Kharlampovich AU - Laura Lopez PY - 2019 UR - https://arxiv.org/abs/1803.06003 ID - 1803.06003 ER -