|
|
|
|
|
Theoretical
|
|
|
-
Wikipedia article.
-
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
-
Wikipedia article.
-
Wikipedia article.
-
A directory of resources related to theoretical computer science from Stanford University.
-
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
|
|
|
|
|
 |
|
|
|
 |
© 1999 - 2008 CanadaSpace.com. All rights reserved.