Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • Précédent
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 21 (1987)
  • no. 3
  • Suivant

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
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de