COMP109

ESSLLI 2008: Modularity in logical theories and ontologies

Day 1 (Carsten Lutz): slides
Day 2 (Carsten Lutz): slides
Day 3 (Frank Wolter): slides
Day 4 (Ulrike Sattler): slides
Day 5 (Frank Wolter): slides