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

Sommaire

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