Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 11 (1977)
no. 2
Table of contents
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
