Sur un aspect du calcul
Mathématiques et sciences humaines, Tome 14 (1966), pp. 1-8.
@article{MSH_1966__14__1_0,
     author = {Jaulin, Bernard},
     title = {Sur un aspect du calcul},
     journal = {Math\'ematiques et sciences humaines},
     pages = {1--8},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {14},
     year = {1966},
     mrnumber = {216958},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1966__14__1_0/}
}
TY  - JOUR
AU  - Jaulin, Bernard
TI  - Sur un aspect du calcul
JO  - Mathématiques et sciences humaines
PY  - 1966
SP  - 1
EP  - 8
VL  - 14
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1966__14__1_0/
LA  - fr
ID  - MSH_1966__14__1_0
ER  - 
%0 Journal Article
%A Jaulin, Bernard
%T Sur un aspect du calcul
%J Mathématiques et sciences humaines
%D 1966
%P 1-8
%V 14
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1966__14__1_0/
%G fr
%F MSH_1966__14__1_0
Jaulin, Bernard. Sur un aspect du calcul. Mathématiques et sciences humaines, Tome 14 (1966), pp. 1-8. http://archive.numdam.org/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

(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

(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 | Zbl

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