Refine your search
Availability
-
Authors
- Cutland, Nigel
- Davis, Martin
- Downey, R. G.
- Dzhafarov, Damir D.
- Fernandez, Maribel
- Hermes, Hans
- Hirschfeldt, Denis R...
- Kozen, Dexter
- Krithivasan, Kamala
- Mummert, Carl
- Pavlovic, Dusko
- Pettorossi, Alberto
- Rich, Elaine
- Rogers, Hartley
- Soare, Robert I.
- Soare, Robert Irving
- Supowit, Kenneth J.
- Tourlakis, George
- Tourlakis, George J.
- Weber, Rebecca
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Computability and Re...
- Computable functions
- Computational comple...
- Computational Comple...
- Computer science
- Computing and enumer...
- Gödel's theorem
- Machine theory
- Mathematical Logic a...
- Mathematics of Compu...
- Models of Computatio...
- Recursion theory
- Recursive functions
- Theory and Algorithm...
- Theory of Computatio...
- Turing machines
- Unsolvability (Mathe...
- Show more
- Show less