Volume 21 (1987) no. 3

Table of contents

Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque
p. 223-244
Decidable subcases of the equivalence problem for recursive program schemes
p. 245-286
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
p. 287-322
Church-Rosser property and decidability of monadic theories of unary algebras
p. 323-329
Poids et équivalence des codes linéaires
p. 331-339
Monoïde libre et musique, première partie : les musiciens ont-ils besoin des mathématiques ?
p. 341-371