Campus Event Calendar
Event Entry
What and Who
Twelf: Eine LF-Implementierung mit expliziten Substitiutionen
Carsten Schuermann
Carnegie Mellon University
Logik-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
Friday, 27 June 97
13:45
60 Minutes
46.1
019
Saarbrücken
Contact
Uwe Waldmann
92-227
--email hidden
passcode not visible
logged in users only