computability reductions turing-completeness recursion-theory asked Sep 20 '14 at 19:48

cc.complexity-theory polynomial-hierarchy asked Oct 8 '13 at 1:51