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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: