Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 9 (1975) no. R3

Table of contents

Limiting recursion and the arithmetic hierarchy

Criscuolo, G.; Minicozzi, E.; Trautteur, G.

p. 5-12

Deux propriétés combinatoires du langage de Lukasiewicz

Gouyou-Beauchamps, D.

p. 13-24

Note sur l'algèbre des fonctions

Raymond, F. H.

p. 25-49

Sur les TOL - Systèmes unaires

Latteux, Michel

p. 51-62