search
web directory
news
travel
maps
forums
free voip
chat irc
games
video
live tv
add site

Conferences  (5)
Forums and Networks  (4)
Journals  (13)

Organizations  (1)
People  (29)
Research Groups  (14)

Automata Theory  (41)
Complexity Theory  (158)
Computability@  (11)

Formal Language Theory  (26)
Information Theory@  (64)
Quantum Computing  (55)

Asynchronous Computability  (5)
Quines@  (3)
Software  (2)

Theoretical Computer Science on the Web   - A directory of resources related to theoretical computer science from Stanford University.


Church-Turing Thesis - Wikipedia article.
Computability Logic - Main web source on the subject: overview, downloadable articles, links.
Computability Theory - Wikipedia article.
Interactive Computation - Wikipedia article.
Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.

Usenet comp.theory - news: - Google Groups
Usenet sci.math - news: - Google Groups