dblp.uni-trier.de www.uni-trier.de

22. CSL 2008: Bertinoro, Italy

Michael Kaminski, Simone Martini (Eds.): Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Lecture Notes in Computer Science 5213 Springer 2008, ISBN 978-3-540-87530-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Contributed Papers

Copyright © Mon Nov 2 20:27:10 2009 by Michael Ley (ley@uni-trier.de)