Tome 10 (1976) no. R1

Sommaire

Transductions de forêts reconnaissables monadiques, forêts corégulières
p. 5-28
On effective speed-up and long proofs of trivial theorems in formal theories
p. 29-38
Valeurs propres et vecteurs propres en classification hiérarchique
p. 39-46
Bottom-up computation of recursive programs
p. 47-82
Une heuristique pour le calcul de l'indice de transitivité d'un tournoi
p. 83-92