Insert Article
Related articles
|
 |
 |
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
ECCC - Electronic Colloquium on Computational Complexity
The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with relevance to the theory of computation
http://www.eccc.uni-trier.de/eccc/
Computability Theory
Directory of researchers working in computability theory, and list of open problems.
http://www.nd.edu/~cholak/computability/computability.html
Bibliographic Database for Computability Theory
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
http://www.nd.edu/~cholak/computability/bib/bib.html
Computability and Complexity
An online course on complexity.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
Problem Solving Environments Home Page
This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
Hypercomputation Research Network
The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
http://www.hypercomputation.net/
Church-Turing Thesis
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
http://plato.stanford.edu/entries/church-turing/
Introduction to Logic and Recursion Theory
Notes from the class taught by Prof. Sacks in the Spring of 1998.
http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Computability Logic
Encyclopedia article.
http://www.sciencedaily.com/encyclopedia/computability_logic
Interactive Computation
Wikipedia article.
http://en.wikipedia.org/wiki/Interactive_computation
Computability Logic - Wictionary
A dictionary definition of the subject.
http://en.wiktionary.org/wiki/Computability_logic
|
