Subscriber Authentication Point

EDPS Account

Volume 11 / No 2 (1977)

Free Access to the whole issue

RAIRO. Informatique théorique

Volume 11 / No 2 (1977)

Export the citation of the selected articles Export
Select all

Free Access

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann p. 91

Jacques J. Arsac

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1977110200911

Free Access

Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac p. 113

G. Berry

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1977110201131

Free Access

A note on NSPACE ($\log _2 n$) and substitution p. 127

S. A. Greibach

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1977110201271

Free Access

Les tests et leur caractérisation syntaxique p. 133

Irène Guessarian

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1977110201331

Free Access

Asymptotical estimation of some characteristics of finite graphs p. 157

Phan Dinh Diêu

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1977110201571