Volume 24 (1990) no. 2

Table of contents

Solving word equations
p. 109-130
Parallélisation sémantique
p. 131-159
Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
p. 161-188
A partially persistent data structure for the set-union problem
p. 189-202