MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Labelled sequent systems: a new method for bounding the complexity of modal logics

Luca Viganò
MPII
AG2 Working Group Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS  
AG Audience
English

Date, Time and Location

Wednesday, 21 May 97
11:15
60 Minutes
46.1 - MPII
022
Saarbrücken

Contact

Uwe Waldmann
--email hidden
passcode not visible
logged in users only