Results 271 to 280 of about 30,213 (286)

First Steps in Synthetic Computability Theory

Electronic Notes in Theoretical Computer Science, 2006
Andrej Bauer
exaly  

HF-Computability

2011
Alexey Stukachev
exaly  

On the Computability of Blochs Constant

Electronic Notes in Theoretical Computer Science, 2008
Robert Rettinger
exaly  

Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal

Fundamenta Informaticae, 2001
George Tourlakis
exaly  

Computations of computations

Dionysios S. Demetis, Ian O. Angell
openaire   +1 more source

To compute or not to compute?

Nature, 2006
openaire   +1 more source

Computing and Computers

Sinan Kalkan, Onur T. Şehitoğlu, Göktürk Üçoluk   +2 more
openaire   +1 more source

Computers and Computation

1994
openaire   +1 more source

Computability on random events and variables in a computable probability space

Theoretical Computer Science, 2012
exaly  

Interpolation functor and computability

Theoretical Computer Science, 2002
exaly