Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R1

Sommaire

Transductions de forêts reconnaissables monadiques, forêts corégulières

Arnold, André ; Dauchet, Max

p. 5-28

On effective speed-up and long proofs of trivial theorems in formal theories

Hartmanis, J.

p. 29-38

Valeurs propres et vecteurs propres en classification hiérarchique

Gondran, M.

p. 39-46

Bottom-up computation of recursive programs

Berry, G.

p. 47-82

Une heuristique pour le calcul de l'indice de transitivité d'un tournoi

Bermond, J.-C. ; Kodratoff, Y.

p. 83-92