19th CSL 2005: Oxford, UK

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics