CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings
The articles of this volume will be reviewed individually under the abbreviation ``Computer science logic, 1st Workshop, CSL '87, Karlsruhe/FRG 1987, Lect. Notes Comput. Sci. 329 (1988)''.
scientific article; zbMATH DE number 193926