Title: Degree complexity and many-one equivalence of decision problems for algorithmic systems
Subjects: Algorithms, Machine theory, Recursive functions