TY - RPRT TI - Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids AU - João Araújo AU - Michael Kinyon AU - Janusz Konieczny AU - António Malheiro PY - 2017 DO - 10.1016/j.tcs.2018.04.002 UR - https://arxiv.org/abs/1703.00027 ID - 1703.00027 ER -