Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings

DOI10.1007/978-3-642-04027-6MaRDI QIDQ732870zbMATH OpenOpenAlexFDO

Authors

Publication date 15 October 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-04027-6

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) Logic in computer science (03B70)

Cited in

(4)

• Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
• Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25--29, 2006. Proceedings.
• Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference.
• scientific article; zbMATH DE number 6988090 (Why is no real title available?)

This page was built for publication: Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings

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