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

19. CSL 2005: Oxford, UK

C.-H. Luke Ong (Ed.): Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings. Lecture Notes in Computer Science 3634 Springer 2005, ISBN 3-540-28231-9 BibTeX

Invited Lectures

Semantics and Logics

Type Theory and Lambda Calculus

Linear Logic and Ludics


Finite Models, Decidability and Complexity

Verification and Model Checking

Constructive Reasoning and Computational Mathematics

Implicit Computational Complexity and Rewriting


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