1 paper · 2 filters
Vladimir Naidenko
A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms…