Campus Event Calendar
Event Entry
What and Who
The Relationship Between Second-Order Unification (SOU) and Simultaneous Rigid E-Unification (SREU)
Margus Veanes
Max-Planck-Institut für Informatik
AG2 Working Group Seminar
AG 1, AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 19 March 98
11:15
60 Minutes
46.1
024
Saarbrücken
Contact
Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only