GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
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