Asynchronous Computability
(5)
Automata Theory
(8)
Complexity Theory
(160)
Conferences
(6)
Forums and Networks
(5)
Journals
(12)
|
Organizations
(1)
People
(35)
Quantum Computing
(43)
Research Groups
(16)
Software
(3)
Theoretical Computer Science on the Web
A directory of resources related to theoretical computer science from Stanford University.
Church-Turing Thesis
Wikipedia article.
Computability Theory
Wikipedia article.
Interactive Computation
Wikipedia article.
Computability Logic
Main web source on the subject: overview, downloadable articles, links.
Theory of Computation
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
| |