16. CSL 2002:
Edinburgh,
Scotland,
UK
Julian C. Bradfield (Ed.):
Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings.
Lecture Notes in Computer Science 2471 Springer 2002, ISBN 3-540-44240-5 BibTeX
@proceedings{DBLP:conf/csl/2002,
editor = {Julian C. Bradfield},
title = {Computer Science Logic, 16th International Workshop, CSL 2002,
11th Annual Conference of the EACSL, Edinburgh, Scotland, UK,
September 22-25, 2002, Proceedings},
booktitle = {CSL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2471},
year = {2002},
isbn = {3-540-44240-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Rewriting and Constructive Mathematics
Fixpoints and Recursion
Linear and Resource Logics
Semantics
Temporal Logics and Games
Probability,
Games and Fixpoints
Complexity and Proof Complexity
Ludics and Linear Logic
Lambda-Calculi
Resolution and Proofs
Copyright © Sat May 16 23:03:59 2009
by Michael Ley (ley@uni-trier.de)
