Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
Browse issues
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
Previous
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 21 (1987)
no. 1
Next
Volume 21 (1987) no. 1
Table of contents
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