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

15. CSL 2001: Paris, France

Laurent Fribourg (Ed.): Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Lecture Notes in Computer Science 2142 Springer 2001, ISBN 3-540-42554-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Contributed Papers

Descriptive Complexity

Semantics

Higher-Order Programs

Modal Logics

Verification

Automata

Lambda-Calculus

Induction

Equational Calculus

Constructive Theory of Types

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