RAIRO. Informatique théorique, 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