Liste des citations dans Numdam pour : Bottom-up computation of recursive programs

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976), p. 47-82 / Harvested from Numdam

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), p. 113-126 / Harvested from Numdam

Arsac, Jacques J.

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 91-112 / Harvested from Numdam