Geodesic

Volume 11 (1977) no. 2

Sommaire

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
p. 91-112
Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
p. 113-126
A note on NSPACE (log2n) and substitution
p. 127-132
Les tests et leur caractérisation syntaxique
p. 133-156
Asymptotical estimation of some characteristics of finite graphs
p. 157-174