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 BibTeX
@proceedings{DBLP:conf/csl/2001,
  editor    = {Laurent Fribourg},
  title     = {Computer Science Logic, 15th International Workshop, CSL 2001.
               10th Annual Conference of the EACSL, Paris, France, September
               10-13, 2001, Proceedings},
  booktitle = {CSL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2142},
  year      = {2001},
  isbn      = {3-540-42554-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Contributed Papers

Descriptive Complexity

Semantics

Higher-Order Programs

Modal Logics

Verification

Automata

Lambda-Calculus

Induction

Equational Calculus

Constructive Theory of Types

Copyright © Sat May 16 23:03:59 2009 by Michael Ley (ley@uni-trier.de)