Sur un aspect du calcul
Mathématiques et Sciences Humaines (1966)
- Volume: 14, page 1-8
- ISSN: 0987-6936
Access Full Article
topHow to cite
topJaulin, Bernard. "Sur un aspect du calcul." Mathématiques et Sciences Humaines 14 (1966): 1-8. <http://eudml.org/doc/93989>.
@article{Jaulin1966,
author = {Jaulin, Bernard},
journal = {Mathématiques et Sciences Humaines},
language = {fre},
pages = {1-8},
publisher = {Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique},
title = {Sur un aspect du calcul},
url = {http://eudml.org/doc/93989},
volume = {14},
year = {1966},
}
TY - JOUR
AU - Jaulin, Bernard
TI - Sur un aspect du calcul
JO - Mathématiques et Sciences Humaines
PY - 1966
PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
VL - 14
SP - 1
EP - 8
LA - fre
UR - http://eudml.org/doc/93989
ER -
References
top- (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). MR121301
- (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). Zbl0127.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). Zbl0108.30203MR153560
- (12) Smullgan - Theory of formal systems (Princeton Un. Press).
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.