Diagrammes, Volume 8 (1982)

Foundations for stepwise refinement of program specifications via cylindric algebra theory

Néméti, I.

Talk no. 1, 24 p.

Weak products for universal algebra and model theory

Sain, I.

Talk no. 2, 15 p.

Caractères et sous-groupes des groupes de Suzuki

Nouacer, Ziani

Talk no. 3, 29 p.