uk.searchengine.com Exclusively dedicated to the UK market
Computability
 HOME    current search: Computability    last search:
Computability
     
computability
computability theory
computability and complexity
automata and computability
discrete structures logic and computability
computability and logic
computability complexity and languages
theory of computability
computability com
turing computability
computability and complexity theory
Computability


Computability
Companies that offer products and services related to Computability should be in our directory which currently contains more than 2 million listings. We do our best to deliver results at uk.searchengine.com so you get the most relevant information available today in the UK for your search for Computability.

Top>Science>Math>Logic and Foundations>Computability>



Bibliographic Database for Computability Theory open in new window
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
(http://www.nd.edu/~cholak/computability/bib/bib.html)

Church-Turing Thesis open in new window
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
(http://plato.stanford.edu/entries/church-turing/)

Computability and Complexity open in new window
An online course on complexity.
(http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_comple)

Computability Theory open in new window
Directory of researchers working in computability theory, and list of open problems.
(http://www.nd.edu/~cholak/computability/computability.html)

ECCC - Electronic Colloquium on Computational Complexity open in new window
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/)

Hypercomputation Research Network open in new window
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/)

Introduction to Logic and Recursion Theory open in new window
Notes from the class taught by Prof. Sacks in the Spring of 1998.
(http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.h)

Problem Solving Environments Home Page open in new window
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)


Computability
· DE
· ES
· FR
· NL
· US
Computability
 
· computer shopping
· compaq
· computer hardware
· gateway
· apple
· computer hardware reviews
· epinions
· macintosh
· gateway home page
· apple store
· apple mac
· hewlett packard home page
· apple ipod
· dell
· computers in libraries
· hardware reviews
· mac
· hewlett packard
· hp
· computer express
Computability
 
· UK Directory
· Global Directory
Computability
 
· Bookmark us
· Contact us
· About us
· Privacy Policy
· Terms of Use
· Advertising
· List your Site
Computability
Computability Computability Computability
  Copyright © 2006 uk.searchengine.com and its licensors - All rights reserved


Computer   Compensation   Entertainment   Finance   Health   Insurance   Travel   Adult   Beauty   Cars   Dating   Electronics   Food & Wine   Gambling   Games   Gifts   Home & Garden   Internet   Jobs   Mobile Phone   Pension   Property   Shopping   Sports   Uk  
 
 

 
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor