Liste des citations dans Numdam pour : 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

Arsac, Jacques

La fonction d'Ackermann : un nouveau mode de dérécursivation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 149-156 / 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

Robinet, B.

Un modèle fonctionnel des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 213-236 / Harvested from Numdam