Aktuelles & Termine

16.03.2007

Generic Upper Complexity Bounds for Modal Logics


Prof. Dr. Lutz Schröder, Friedrich-Alexander Universität Erlangen-Nürnberg

Date: 16.03.2007

Speakers homepage: http://www8.informatik.uni-erlangen.de/schroeder