Campus Event Calendar
Event Entry
What and Who
Cancellative Abelian Monoids in Refutational Theorem Proving
Uwe Waldmann
Promotionskolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 28 July 97
16:00
60 Minutes
46.1 - MPII
R. 024
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only