Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
type: Item
instance of: scholarly article
title: Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
zbMATH Open document ID: 0851.00042
published in: Lecture Notes in Computer Science
publication date: 1996-08-19T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding workshop (8, 1994) has been reviewed (see Zbl 0847.00048).
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 918144
zbMATH Keywords: Computer science logic
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: CSL
zbMATH Keywords: Paderborn (Germany)
MaRDI profile type: Publication
Recommended article: Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
Recommended article: Computer science logic. 13th international workshop, CSL '99. 8th annual conference of the EACSL, Madrid, Spain, September 20--25, 1999. Proceedings
Recommended article: Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings.
Recommended article: Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings
Recommended article: Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings
Recommended article: CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings
Recommended article: Q3454221
Recommended article: Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings
Recommended article: Computer science logic. 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24--28, 1998. Proceedings
Recommended article: Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10--13, 2001. Proceedings
description: scientific article; zbMATH DE number 918144