Download citation

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann

RAIRO. Inform. théor., 11 2 (1977) 91-112
DOI: https://doi.org/10.1051/ita/1977110200911