School Seminar Series

Modal Logics of Topological Relations

22nd June 2004, 15:00 add to calender
Carsten Lutz
Dresden University of Technology, Department of Computer Science, Institute for Theoretical Computer Science, Dresden, Germany