Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             13 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An application of proof mining to nonlinear iterations Leuştean, Laurenţiu
2014
165 9 p. 1484-1500
17 p.
artikel
2 Avoiding uniformity in the Δ 2 0 enumeration degrees Badillo, Liliana
2014
165 9 p. 1355-1379
25 p.
artikel
3 Contents 2014
165 9 p. iv-
1 p.
artikel
4 Editorial Board 2014
165 9 p. IFC-
1 p.
artikel
5 Generics for computable Mathias forcing Cholak, Peter A.
2014
165 9 p. 1418-1428
11 p.
artikel
6 How much randomness is needed for statistics? Kjos-Hanssen, Bjørn
2014
165 9 p. 1470-1483
14 p.
artikel
7 Local induction and provably total computable functions Cordón-Franco, Andrés
2014
165 9 p. 1429-1444
16 p.
artikel
8 On effectively closed sets of effective strong measure zero Higuchi, Kojiro
2014
165 9 p. 1445-1469
25 p.
artikel
9 The axiomatic power of Kolmogorov complexity Bienvenu, Laurent
2014
165 9 p. 1380-1402
23 p.
artikel
10 The computational strengths of α-tape infinite time Turing machines Rin, Benjamin
2014
165 9 p. 1501-1511
11 p.
artikel
11 The distribution of ITRM-recognizable reals Carl, Merlin
2014
165 9 p. 1403-1417
15 p.
artikel
12 The ω-Turing degrees Sariev, Andrey C.
2014
165 9 p. 1512-1532
21 p.
artikel
13 Turing Centenary Conference: How the World Computes Cooper, S. Barry
2014
165 9 p. 1353-1354
2 p.
artikel
                             13 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland