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

Issue no. R1 Table of Contents

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

Issue no. R2 Table of Contents

Éditorial

ITA

p. 3

Une formalisation de la sémantique des langages de programmation

Finance, J.-P.

p. 5-32

Hierarchies of aperiodic languages

Brzozowski, Janusz A.

p. 33-49

Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme

Mignotte, Maurice

p. 51-55

Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques

Lescanne, Pierre

p. 57-81

Issue no. R3 Table of Contents

Une formalisation de la sémantique des langages de programmation

Finance, J.-P.

p. 5-21

Remarks on DOL growth sequences

Soittola, Matti

p. 23-34

Arbres binaires de recherche : propriétés combinatoires et applications

Françon, Jean

p. 35-50