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

Sommaire

É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