Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers

DOI10.1007/3-540-56992-8zbMath0852.00039OpenAlexW4256058384MaRDI QIDQ1309674

No author found.

Publication date: 7 December 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56992-8

zbMATH Keywords

ProceedingsWorkshopComputer science logicCSL '92San Miniato (Italy)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (2)

Natural deduction for intuitionistic linear logic ⋮ Linear Exponential Comonads without Symmetry

This page was built for publication: Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers