 |
Asynchronous Computability 5
Quantum Computing 52
| | Computer Science - Computers 2,214
Complexity Theory - Theoretical, Computer Science, Computers 158
 Bibliographic Database for Computability TheoryBibliographic Database for Computability Theory
 Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
|
Church-Turing ThesisChurch-Turing Thesis
 Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
|
Computability and ComplexityComputability and Complexity
 An online course on complexity.
|
Computability and Complexity in Analysis NetworkComputability and Complexity in Analysis Network
 The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.
|
Computability Logic - WictionaryComputability Logic - Wictionary
 A dictionary definition of the subject.
|
Computability TheoryComputability Theory
 Directory of researchers working in computability theory, and list of open problems.
|
Hypercomputation Research NetworkHypercomputation Research Network
 The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
|
Interactive ComputationInteractive Computation
 Wikipedia article.
|
Introduction to Logic and Recursion TheoryIntroduction to Logic and Recursion Theory
 Notes from the class taught by Prof. Sacks in the Spring of 1998.
|
Open Questions in Recursion TheoryOpen Questions in Recursion Theory
 Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
|
Problem Solving Environments Home PageProblem Solving Environments Home Page
 This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
|
|
|
|
|
|
