TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
The articles of this volume will be reviewed individually under the abbreviation ''TAPSOFT '87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 2: Functional and logic progamming and specifications, Lect. Notes Comput. Sci. 250''.
scientific article; zbMATH DE number 3976959