RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 28 (1994) no. 1

Table of contents

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