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

Related topics

Related topics

49 relations
Abstract machineAlgorithmAndrzej GrzegorczykAutomata theory
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Computability and randomness
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
Computing with Membranes
  • 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
The topological structure of asynchronous computability
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
Automata and Computability
  • 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
Computability in analysis and physics
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
Exclusive Processes in Perturbative Quantum Chromodynamics
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
Computability and logic
Part I. Computability Theory: 1. Enumerability 2. Diagonalization 3. Turing computability 4. Uncomputability 5. Abacus… Expand
Highly Cited
1969
Highly Cited
1969
Theory of Recursive Functions and Effective Computability
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
Theory of Recursive Functions and Effective Computability
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
Computability and Unsolvability
  • 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
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE