RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 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