RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987) no. 1

Geodesic

Parcourir par

Volume 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