Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Erich Grädel Reinhard Kahle Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings 5771 2009 http://doi.dx.org/10.1007/978-3-642-04027-6 978-3-642-04026-9 CSL Lecture Notes in Computer Science Springer db/conf/csl/csl2009.html