Tome 15 (1981) no. 1

Sommaire

Systèmes de déduction pour les arbres et les schémas de programme (II)
p. 3-21
On subdirectly irreducible automata
p. 23-46
Sur l'auto-stabilisation dans un réseau d'ordinateurs
p. 47-66
A theory of complexity of monadic recursion schemes
p. 67-94