Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
arXiv.org, 2022-08 [Peer Reviewed Journal]2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.13428
Full text available