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

DOI10.1007/BFB0022242MaRDI QIDQ1894635zbMATH OpenOpenAlexFDO

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)

• scientific article; zbMATH DE number 51905 (Why is no real title available?)
• 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)