Many-one degrees associated with semi-Thue systems
From MaRDI portal
Publication:1844662
DOI10.1016/S0022-0000(73)80005-4zbMath0284.02020OpenAlexW2010644517MaRDI QIDQ1844662
Publication date: 1973
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-0000(73)80005-4
Word problems, etc. in computability and recursion theory (03D40) Other degrees and reducibilities in computability and recursion theory (03D30) Thue and Post systems, etc. (03D03)
Related Items (1)
Cites Work
- Unnamed Item
- Many-one degrees associated with semi-Thue systems
- Degrees of unsolvability associated with Markov algorithms
- Recursive Unsolvability of a problem of Thue
- Machine Configuration and Word Problems of Given Degree of Unsolvability
- The many-one equivalence of some general combinatorial decision problems
- The Representation of Many-One Degrees by the Word Problem for Thue Systems
This page was built for publication: Many-one degrees associated with semi-Thue systems