Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 21 (1987)
no. 3
Précédent
Suivant
Volume 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