Theoretical Computer Science is the mathematical foundation of computing in all its forms. By being the foundation, it is also the starting point for new and more efficient methodologies of computation. Asynchronous Computability (5) Automata Theory (39) Complexity Theory (153) Computability@ (13) Conferences (6) Formal Language Theory (27) Forums & Networks (5) Information Theory@ (72) Journals (11) Organizations (1) People (33) Quantum Computing (49) Quines@ (3) Research Groups (14) Software (2) 1. Computability Theory - NodeWorks Encyclopedia article. 2. Interactive Computation - NodeWorks Encyclopedia article. 3. Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. 4. Church-Turing Thesis - NodeWorks Encyclopedia article. 5. Computability Logic - Main web source on the subject: overview, downloadable articles, links. 6. Theoretical Computer Science on the Web - A directory of resources related to theoretical computer science from Stanford University.

Help build the largest human-edited directory on the web. Submit a Site - Update a Site - Open Directory Project - Become an Editor

© 2008 Chamas Enterprises Inc.