Sur un aspect du calcul
Jaulin, Bernard
Mathématiques et Sciences humaines, Tome 17 (1966), p. 1-8 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1966-01-01
@article{MSH_1966__14__1_0,
     author = {Jaulin, Bernard},
     title = {Sur un aspect du calcul},
     journal = {Math\'ematiques et Sciences humaines},
     volume = {17},
     year = {1966},
     pages = {1-8},
     mrnumber = {216958},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/MSH_1966__14__1_0}
}

Jaulin, Bernard. Sur un aspect du calcul. Mathématiques et Sciences humaines, Tome 17 (1966) pp. 1-8. http://gdmltest.u-ga.fr/item/MSH_1966__14__1_0/

(1 ) Lacombe - Fonctions récursives et applications. Bulletin de la Société Mathématique de France. Gauthier Villars (1962) .

(2) Uspenkhi (V.A.) - Lectures on comptable functions. Matematika Logika i Osnovanija Matematiki. Fizmatgiz, Moscow (1960). | MR 121301

(3) Arbib (M.A.) and Blum (M.) - Machine dependance of degree of difficulty.

(4) Kloss - The definition of complexity of algorithms. Soviet mathematics, volume 5 n° 4, (july-august 1964). | Zbl 0127.01001

(5) Markov (A.A.) - Normal algorithms which computes boolean functions. Soviet mathematics, volume 5 n° 4, (july-august 1964).

(6) Grzegorczyk (Andrej) - Some classes of récursive functions. Rozprany Matematycne, Warsawa (1953).

(7) Cleave (J.P.) - A hierarchy of primitive recursive functions. Zeitsch f. Math. Logik und Grunalagen d. Math.

(8) Ritchie (R.) - Classes of recursive functions of predictable complexity. Thése - Université de Princeton.

(9) Davis - Compatability and Unsolvability (Mac graw Hill).

(10) Markov (A.A.) - Theory of algorithms. (Distribué par Oldbourne Press).

(11) Trahtenbrot (B.A.) - Algorithmes et Machines à calculer (Dunod). | MR 153560 | Zbl 0108.30203

(12) Smullgan - Theory of formal systems (Princeton Un. Press).