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

18. CSL 2004: Karpacz, Poland

Jerzy Marcinkowski, Andrzej Tarlecki (Eds.): Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210 Springer 2004, ISBN 3-540-23024-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

Regular Papers

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