Analogues of semirecursive sets and effective reducibilities to the study of NP complexity. (English) Zbl 0504.03022
MSC:
03D15 | Complexity of computation (including implicit computational complexity) |
03D15 | Complexity of computation (including implicit computational complexity) |