16th CSL 2002: Edinburgh, Scotland, UK

Refine list

showing all ?? records

Invited Lectures

Rewriting and Constructive Mathematics

Fixpoints and Recursion

Linear and Resource Logics

Semantics

Temporal Logics and Games

Probability, Games and Fixpoints

Complexity and Proof Complexity

Ludics and Linear Logic

Lambda-Calculi

Resolution and Proofs