Tome 10 (1976) no. R3

Sommaire

Une formalisation de la sémantique des langages de programmation
p. 5-21
Remarks on DOL growth sequences
p. 23-34
Arbres binaires de recherche : propriétés combinatoires et applications
p. 35-50