Computability theory a.k.a. recursion theory.
Computability theory (also known as recursion theory) is a branch of mathematical logic and computer science. It is mainly concerned with computability.
When some resource is restricted (such as time or space), then the cc.complexity-theory tag is more appropriate.
|
created |
14 years, 4 months ago by ripper234 |
|
viewed |
44 times |
|
active |
13 years, 8 months ago |
|
editors |
2 |
