19th CSL 2005: Oxford, UK

Refine list

showing all ?? records

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


a service of  Schloss Dagstuhl - Leibniz Center for Informatics