Found 356 results for "Recursion theory"
by S. B. Cooper
The finite extension method is a central diagonalization technique in computability theory (see e.g. [Ro67], [Od89], [So...
by William I. Gasarch, William Gasarch
In this chapter we present some material from recursion theory that is requisite to understanding the material in later ...