Computer Science Theoretical
You have found the way to Theoretical on Computer Science:
- Conferences (6)
- Forums and Networks (4)
- Journals (14)
- Organizations (2)
- People (35)
- Research Groups (15)
- Automata Theory (42)
- Complexity Theory (158)
- Computability@ (11)
- Formal Language Theory (32)
- Information Theory@ (62)
- Quantum Computing (54)
See also:
- Asynchronous Computability (5)
- Quines@ (3)
- Software (3)
- Computers: Algorithms (329)
- Science: Math: Applications: Communication Theory: Cryptography (288)
- Science: Math: Combinatorics (451)
- Science: Math: Geometry: Computational Geometry (62)
- Science: Math: Logic and Foundations (820)
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.
CSCI 0510 Models of Computation - Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
Interactive Computation - Wikipedia article.
Introduction 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 Computation - Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
Theoretical 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 Computation - Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. Help build the largest human-edited directory on the web.