Asynchronous Computability (5) Automata Theory (9) Complexity Theory (165) Computability (12) Conferences (6) Forums and Networks (5) Information Theory (78)

Journals (13) Organizations (1) People (32) Quantum Computing (30) Quines (2) Research Groups (17) Software (3)

Websites in Theoretical

1. An Introduction to the Theory of Computation
   An online text aimed at advanced undergraduate and graduate students.
   http://www.cis.ohio-state.edu/~gurari/theory-bk/theory-bk.html
   
   
2. Church-Turing Thesis
   Wikipedia article.
   http://en.wikipedia.org/wiki/Church-Turing_thesis
   
   
3. Computability Logic
   Main web source on the subject: overview, downloadable articles, links.
   http://www.cis.upenn.edu/~giorgi/cl.html
   
   
4. Computability Theory
   Wikipedia article.
   http://en.wikipedia.org/wiki/Computability_theory
   
   
5. Interactive Computation
   Wikipedia article.
   http://en.wikipedia.org/wiki/Interactive_computation
   
   
6. Theoretical Computer Science on the Web
   A directory of resources related to theoretical computer science from Stanford University.
   http://robotics.stanford.edu/~suresh/theory/theory-home.html
   
   
7. Theory of Computation
   Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
   http://www.cs.bu.edu/fac/lnd/toc/
   
   

Shortcuts: Arts Business Computers Games Health Home News Recreation Reference Regional Science Shopping Society Sports