Workshop on Guarded Logics: Proof Techniques and Applications

9 - 13 August 2004 at

ESSLLI 2004 - The 16th European Summer School in Logic, Language and Information

Call for papers

Preliminary programme