CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings
type: Item
instance of: scholarly article
title: CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings
zbMATH Open document ID: 0651.00014
DOI: 10.1007/3-540-50241-6
published in: Lecture Notes in Computer Science
publication date: 1993-06-05T00:00:00Z
review text: 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)''.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 193926
zbMATH Keywords: Computer science logic
zbMATH Keywords: CSL-87
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Karlsruhe (F.R.G.)
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-50241-6
OpenAlex ID: W4234184582
description: scientific article; zbMATH DE number 193926