Campus Event Calendar
Event Entry
What and Who
A paper by Baader, Ghilardi, Tinelli "A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics"
Anya Romina
Max-Planck-Institut für Informatik - AG 2
AG2 Working Group Seminar
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 25 February 2004
13:30
-- Not specified --
46.1 - MPII
AG2 Rotunde
Saarbrücken
Contact
Uwe Waldmann
--email hidden
passcode not visible
logged in users only
Uwe Waldmann, 02/16/2004 18:44 -- Created document.