Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
The articles of this volume will be reviewed individually. The proceedings have been published as Lect. Notes Comput. Sci. 1101 (1996; Zbl 0851.00082). The 7th conference 1998 has been reviewed (see Zbl 0906.00024).
scientific article; zbMATH DE number 1494160