Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
G. Berry (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Pour en finir avec la dérécursivation du problème des tours de Hanoï”
Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
La fonction d'Ackermann : un nouveau mode de dérécursivation
Jacques Arsac (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Tours de Hanoï et automates
J.-P. Allouche, F. Dress (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
Raul Kantor, Giovanna Sontacchi (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
Jacques J. Arsac (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algorithmes pour vérifier la conjecture de Syracuse
Jacques Arsac (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Construction, évaluation et amélioration systématiques de structures de données
Jean-Luc Rémy (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: