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. 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