Liste des citations dans Numdam pour : Sémantique formelle des opérateurs d'un langage de listes

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974), p. 19-36 / Harvested from Numdam

Robinet, B.

Un modèle fonctionnel des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 213-236 / Harvested from Numdam