RAIRO. Informatique théorique, Tome 15 (1981) no. 1

Sommaire

Systèmes de déduction pour les arbres et les schémas de programme (II)

Enjalbert, P.

p. 3-21

On subdirectly irreducible automata

Demlová, M. ; Demel, J. ; Koubek, V.

p. 23-46

Sur l'auto-stabilisation dans un réseau d'ordinateurs

Tchuente, Maurice

p. 47-66

A theory of complexity of monadic recursion schemes

Dikovskii, A. Ja.

p. 67-94