Voir la notice de l'article provenant de la source Numdam
@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},
publisher = {Centrale des revues, Dunod-Gauthier-Villars},
address = {Montreuil},
volume = {11},
number = {2},
year = {1977},
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
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/