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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

Semantics and Logics

Type Theory and Lambda Calculus

Linear Logic and Ludics

Constraints

Finite Models, Decidability and Complexity

Verification and Model Checking

Constructive Reasoning and Computational Mathematics

Implicit Computational Complexity and Rewriting

Appendices

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