RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 2, pp. 113-126
Citer cet article
Berry, G. Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 2, pp. 113-126. http://geodesic.mathdoc.fr/item/ITA_1977__11_2_113_0/
@article{ITA_1977__11_2_113_0,
author = {Berry, G.},
title = {Calculs ascendants du programme {d'Ackermann} : analyse du programme de {J.} {Arsac}},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {113--126},
year = {1977},
publisher = {Centrale des revues, Dunod-Gauthier-Villars},
address = {Montreuil},
volume = {11},
number = {2},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ITA_1977__11_2_113_0/}
}
TY - JOUR
AU - Berry, G.
TI - Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1977
SP - 113
EP - 126
VL - 11
IS - 2
PB - Centrale des revues, Dunod-Gauthier-Villars
PP - Montreuil
UR - http://geodesic.mathdoc.fr/item/ITA_1977__11_2_113_0/
LA - fr
ID - ITA_1977__11_2_113_0
ER -
%0 Journal Article
%A Berry, G.
%T Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1977
%P 113-126
%V 11
%N 2
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://geodesic.mathdoc.fr/item/ITA_1977__11_2_113_0/
%G fr
%F ITA_1977__11_2_113_0
