Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 11 (1977)
no. 2
Sommaire
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
Arsac, Jacques J.
p. 91-112
Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
Berry, G.
p. 113-126
A note on NSPACE (
log
2
n
) and substitution
Greibach, S. A.
p. 127-132
Les tests et leur caractérisation syntaxique
Guessarian, Irène
p. 133-156
Asymptotical estimation of some characteristics of finite graphs
Phan Dinh Diêu
p. 157-174