Theoretical computer science

6th GI-conference, Dortmund, January 5-7, 1983

Computer algebra

EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982

Group-theoretic algorithms and graph isomorphism

An introduction to the PL/CV2 programming logic

Program specification

proceedings of a workshop, Aarhus, Denmark, August 1981