zurück zu Projekte Präsentationen vom Seminar "Contributions to contraction free logics" 14. - 16. April 2008 Andrea Cantini Simona Ronchi Della Rocha Thomas Studer ( in Zusammenarbeit mit Kai Brünnler und Dieter Probst) zurück zu Projekte