Theoretical Computer Science on the Web
theory automata
Computability
Theory
Theory of Computation
www.cs.bu.edu/fac/lnd/toc/
leonid thesis
en.wikipedia.org/wiki/Church-Turing_thesis
quantum asynchronous
en.wikipedia
.org/wiki/Computability_theory
efficient quantum
thesis quantum
Wikipedia article.
asynchronous computability
wikipedia logic
asynchronous theory
Church-Turing Thesis
theory lecture
turing metaprogramming
Wikipedia article.
en.wikipedia.org
/wiki/Interactive_computation
logic complexity
methodologies efficient
efficient starting
starting theoretical
methodologies lecture
computation quines
metaprogramming complexity
logic foundations
ai.stanford.edu/~suresh/theory/theory-home.html
Main web source on the subject:
overview, downloadable articles, links.
quantum turing
A directory of resources related to theoretical computer science
from Stanford University.
computation leonid
computability uc
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley
.
leonid metaprogramming
Interactive Computation
Wikipedia article.
asynchronous complexity
www.cis.upenn.edu/~giorgi/cl.html
efficient taught
Computability Logic
computation computability
