Skip to content
AIDb
c

computability theory

Study of computable functions and Turing degrees

EntityQ818930

Also known as recursion theory