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:
Displaying similar documents to “Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac”
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
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:
Analyse de la complexité des programmes, des algorithmes et des problèmes
M. Chein (1982)
Publications du Département de mathématiques (Lyon)
Similarity:
Parallélisation sémantique
P. Jouvelot, P. Feautrier (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:
Programmation linéaire mixte : conditions de validité dans les méthodes arborescentes
J. Tergny (1971)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Axiomatisation des manipulations symboliques en calcul des prédicats
Marc Bergman, Henry Kanoui (1977)
Mémoires de la Société Mathématique de France
Similarity:
Sémantique des structures de contrôle
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: