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-6zbMATH Open1175.68011OpenAlexW1768754909MaRDI QIDQ732870

Author name not available (Why is that?)

Publication date: 15 October 2009

Published in: (Search for Journal in Brave)

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

Mathematics Subject Classification ID

No records found.

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)