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