Computable reduction by staged enumeration
ID: computable-reduction-by-staged-enumeration
A staged-enumeration reduction controls an output language by enumerating more elements at each simulation stage and changing behavior when a source computation halts.
New to topics? Read the docs here!