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. 1
  • Suivant

Tome 21 (1987) no. 1

Sommaire


Algorithmes pour vérifier la conjecture de Syracuse
Arsac, Jacques
p. 3-9

Worst case analysis of two heuristics for the set partitioning problem
Marchetti Spaccamela, A. ; Pelaggi, A.
p. 11-23

Sur la complexité d'un problème de codage
Lobstein, Antoine ;   Cohen, Gérard  
p. 25-32

Sur les ensembles linéaires
Latteux, Michel  
p. 33-40

Langages algébriques déterministes non générateurs
Boasson, L. ;   Petit, A.
p. 41-57

Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
Naudin, Patrice
p. 59-91
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de