Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
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