1 paper · 1 filter
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…