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)