Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings

Laurent Fribourg Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings CSL Lecture Notes in Computer Science 2142 Springer 2001 3-540-42554-3 db/conf/csl/csl2001.html