Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Computability

Known as: Computable, Calculatable, Calculably 
Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
The interplay between computability and randomness has been an active area of research in recent years, reflected by ample… Expand
  • figure 1.1
  • table 3.1
  • figure 4.1
  • table 5.1
  • figure 5.1
Highly Cited
2000
Highly Cited
2000
  • G. Paun
  • J. Comput. Syst. Sci.
  • 2000
  • Corpus ID: 15761839
We introduce a new computability model, of a distributed parallel type, based on the notion of a membrane structure. Such a… Expand
  • figure 2
  • figure 3
  • figure 4
Highly Cited
1999
Highly Cited
1999
We give necessary and sufficient combinatorial conditions characterizing the tasks that can be solved by asynchronous processes… Expand
  • figure 4
  • figure 14
Highly Cited
1997
Highly Cited
1997
  • D. Kozen
  • Undergraduate Texts in Computer Science
  • 1997
  • Corpus ID: 6556008
From the Publisher: This introduction to the basic theoretical models of computability develops their rich and varied structure… Expand
Highly Cited
1989
Highly Cited
1989
This book represents the first treatment of computable analysis at the graduate level within the tradition of classical… Expand
Highly Cited
1980
Highly Cited
1980
We present a systematic analysis in perturbative quantum chromodynamics (QCD) of large-momentum-transfer exclusive processes… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Highly Cited
1974
Highly Cited
1974
Part I. Computability Theory: 1. Enumerability 2. Diagonalization 3. Turing computability 4. Uncomputability 5. Abacus… Expand
Highly Cited
1969
Highly Cited
1969
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees… Expand
Highly Cited
1969
Highly Cited
1969
If searching for the ebook by Hartley Rogers Theory of Recursive Functions and Effective Computability in pdf format, then you've… Expand
Highly Cited
1958
Highly Cited
1958
  • M. Davis
  • McGraw-Hill Series in Information Processing and…
  • 1958
  • Corpus ID: 32008469
Only for you today! Discover your favourite computability and unsolvability book right here by downloading and getting the soft… Expand