Logic

Research Frontiers in Computability Theory and Turing Machines

Studies formal models of computation characterizing computable functions and limits of mechanical computation.

All Logic PhD categories