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

17. CSL 2003: Vienna, Austria

Matthias Baaz, Johann A. Makowsky (Eds.): Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings. Lecture Notes in Computer Science 2803 Springer 2003, ISBN 3-540-40801-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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