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

2. CSL 1988: Duisburg, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.): CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Lecture Notes in Computer Science 385 Springer 1989, ISBN 3-540-51659-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:08:40 2010 by Michael Ley (ley@uni-trier.de)