 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Computability Logic
Encyclopedia article.
Computability Theory
Directory of researchers working in computability theory, and list of open problems.
Bibliographic Database for Computability Theory
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
ECCC - Electronic Colloquium on Computational Complexity
The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with relevance to the theory of computation
Hypercomputation 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.
|
|
||
 |
|||