Diagrammes, Tome 8 (1982)

Foundations for stepwise refinement of program specifications via cylindric algebra theory

Néméti, I.

Exposé no. 1, 24 p.

Weak products for universal algebra and model theory

Sain, I.

Exposé no. 2, 15 p.

Caractères et sous-groupes des groupes de Suzuki

Nouacer, Ziani

Exposé no. 3, 29 p.