Tome 28 (1994) no. 1

Sommaire

Spécialisation de la suite de Sturm
p. 1-24
Using persistent data structures for adding range restrictions to searching problems
p. 25-49
On deciding some equivalences for concurrent processes
p. 51-71