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

Sommaire

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