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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “La fonction d'Ackermann : un nouveau mode de dérécursivation”
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
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:
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:
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:
Systèmes de déduction pour les arbres et les schémas de programme (II)
P. Enjalbert (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Note sur la sémantique des structures de contrôle
P. Sallé (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: