dblp.uni-trier.de www.dagstuhl.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

Last update Sat May 18 18:19:20 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page