CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988
The articles of this volume will be reviewed individually under the abbreviation ``CSL '88, Proc. 2nd Workshop, Duisburg/Ger. 1988, Lect. Notes Comput. Sci. 385 (1989)''. For the preceding workshop see [Zbl 0651.00014].
scientific article; zbMATH DE number 192791