Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers

zbMATH Open0851.00042MaRDI QIDQ1920151

Author name not available (Why is that?)

Publication date: 19 August 1996

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

zbMATH Keywords

ProceedingsWorkshopComputer science logicCSLPaderborn (Germany)

Mathematics Subject Classification ID

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

Related Items (2)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings 👍 👎
• Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings. 👍 👎
• CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings 👍 👎
• Computer science logic. 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24--28, 1998. Proceedings 👍 👎
• Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers 👍 👎
• Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings 👍 👎
• Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings 👍 👎
• Computer science logic. 13th international workshop, CSL '99. 8th annual conference of the EACSL, Madrid, Spain, September 20--25, 1999. Proceedings 👍 👎
• Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10--13, 2001. Proceedings 👍 👎

This page was built for publication: Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers

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