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

12. CSL 1998: Brno, Czech Republic

Georg Gottlob, Etienne Grandjean, Katrin Seyr (Eds.): Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Lecture Notes in Computer Science 1584 Springer 1999, ISBN 3-540-65922-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Contributed Papers

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