Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers

DOI10.1007/BFB0022242zbMATH Open0847.00048OpenAlexW2504979510MaRDI QIDQ1894635FDOQ1894635

Authors:

Publication date: 1 August 1995

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

Full work available at URL: https://doi.org/10.1007/bfb0022242

zbMATH Keywords

CSLLogicProceedingsWorkshopComputer science logicKazimierz (Poland)

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings
• Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings

This page was built for publication: Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1894635)