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

Sommaire du Fascicule no. R1

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

Sommaire du Fascicule no. R2

É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

Sommaire du Fascicule no. R3

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