Bazsites.comWeb Directory

Directory: Computers: Computer Science: Theoretical (355)

---

Asynchronous Computability (more...) Automata Theory (more...) Complexity Theory (more...) Conferences (more...) Formal Language Theory (more...) Forums and Networks (more...) Journals (more...)

Organizations (more...) People (more...) Quantum Computing (more...) Quines@ (3) Research Groups (more...) Software (more...)

---

See Also:

• Computers: Algorithms
• Science: Math: Applications: Communication Theory: Cryptography
• Science: Math: Combinatorics
• Science: Math: Geometry: Computational Geometry
• Science: Math: Logic and Foundations

---

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

Theory of Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.

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.

---

Help build the largest human-edited directory on the web. Submit a Site - ODP - Become an Editor

Copyright © 2007-2008 Bazsites.com. All rights reserved.