Campus Event Calendar
Event Entry
New for: D3
What and Who
A Model-based Completeness Proof of Extended Narrowing And Resolution
Jürgen Stuber
INRIA Lorraine, Nancy
AG2 Working Group Seminar
AG 1, AG 2, AG 3, AG 4
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 20 December 2000
11:15
-- Not specified --
46.1
023
Saarbrücken
Contact
Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only