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

20. CSL 2006: Szeged, Hungary

Zoltán Ésik (Ed.): Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings. Lecture Notes in Computer Science 4207 Springer 2006, ISBN 3-540-45458-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Presentations

Contributions

Appendix

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