Recursion theory is a branch of mathematical logic which studies classes of problems and the machines or processes required to solve them.
Much of the field is concerned with different kinds of hypercomputation.
... enacted in various jurisidictions (State, Federal, non-US). Most would include in all computer systems obligatory mechanisms controlling use in ways deemed by copyright ...