Conferences 6
Forums and Networks 4
Journals 14
Organizations 2
People 37
Research Groups 15
Automata Theory 42
Complexity Theory 157
Computability 11
Formal Language Theory 32
Information Theory 62
Quantum Computing 56
Asynchronous Computability 5
Quines 3
Software 3
| | Algorithms - Computers 327
Cryptography - Communication Theory, Applications, Math, Science 287
Combinatorics - Math, Science 447
Computational Geometry - Geometry, Math, Science 61
Logic and Foundations - Math, Science 820
 Theoretical Computer Science on the WebTheoretical Computer Science on the Web
 
A directory of resources related to theoretical computer science from Stanford University.
|
Church-Turing ThesisChurch-Turing Thesis
 Wikipedia article.
|
Computability LogicComputability Logic
 Main web source on the subject: overview, downloadable articles, links.
|
Computability TheoryComputability Theory
 Wikipedia article.
|
CSCI 0510 Models of ComputationCSCI 0510 Models of Computation
 Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
|
Interactive ComputationInteractive Computation
 Wikipedia article.
|
Introduction to Formal Models in Computer ScienceIntroduction to Formal Models in Computer Science
 Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.
|
Lecture Notes on Theory of ComputationLecture Notes on Theory of Computation
 Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
|
Theoretical Computer Science Search EngineTheoretical Computer Science Search Engine
 A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
|
Theory of ComputationTheory of Computation
 Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
|
|
