RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987) no. 3

Sommaire

Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque

Helary, Jean-Michel ; Maddi, Aomar ; Raynal, Michel

p. 223-244

Decidable subcases of the equivalence problem for recursive program schemes

Courcelle, Bruno ; Gallier, Jean H.

p. 245-286

Méthode axiomatique sur les propriétés de fatalité des programmes parallèles

Mery, Dominique

p. 287-322

Church-Rosser property and decidability of monadic theories of unary algebras

Ryšlinková, Jana

p. 323-329

Poids et équivalence des codes linéaires

Bonneau, G.

p. 331-339

Monoïde libre et musique, première partie : les musiciens ont-ils besoin des mathématiques ?

Chemillier, Marc

p. 341-371