Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 28 (1994)
no. 1
Précédent
Suivant
Tome 28 (1994) no. 1
Sommaire
Spécialisation de la suite de Sturm
González-Vega, Laureano
;
Lombardi, Henri
;
Recio, Tomas
;
Roy, Marie-Françoise
p. 1-24
Using persistent data structures for adding range restrictions to searching problems
Lenhof, Hans-Peter
;
Smid, Michiel
p. 25-49
On deciding some equivalences for concurrent processes
Huynh, Dung T.
;
Tian, Lu
p. 51-71
