Campus Event Calendar
Event Entry
What and Who
Superposition Theorem Proving over Theories Presented by Rewrite Systems
Jürgen Stuber
Max-Planck-Institut für Informatik
AG2 Working Group Seminar
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
Wednesday, 7 May 97
11:15
60 Minutes
46.1 - MPII
022
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only