CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings (Q1210869)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings |
scientific article; zbMATH DE number 193926
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings |
scientific article; zbMATH DE number 193926 |
Statements
CSL '87. 1st workshop on computer science logic, Karlsruhe, FRG, October 12--16, 1987. Proceedings (English)
0 references
5 June 1993
0 references
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)''.
0 references
Computer science logic
0 references
CSL-87
0 references
Workshop
0 references
Proceedings
0 references
Karlsruhe (F.R.G.)
0 references
