16th CSL 2002: Edinburgh, Scotland, UK

Refine list

showing all ?? records

Invited Lectures

Rewriting and Constructive Mathematics

Fixpoints and Recursion

Linear and Resource Logics


Temporal Logics and Games

Probability, Games and Fixpoints

Complexity and Proof Complexity

Ludics and Linear Logic


Resolution and Proofs

a service of  Schloss Dagstuhl - Leibniz Center for Informatics