×

CSL ’88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988. (English) Zbl 0709.00020

Lecture Notes in Computer Science, 385. Berlin etc.: Springer-Verlag. VI, 399 p. DM 57.50 (1989).
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].

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science

Citations:

Zbl 0651.00014
Full Text: DOI