Many-one degrees associated with semi-thue systems
作者：
Highlights：
•
摘要
A constructive proof is presented which shows the existence of semi-Thue systems whose word and confluence problems are of any prescribed pair of r.e. many-one degrees of unsolvability.
论文关键词：
论文评审过程：Received 19 June 1972, Available online 27 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(73)80005-4
