Geodesic

Volume 10 (1976) no. R2

Sommaire

Éditorial
ITA
p. 3
Une formalisation de la sémantique des langages de programmation
p. 5-32
Hierarchies of aperiodic languages
p. 33-49
Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme
p. 51-55
Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques
p. 57-81