MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

A Specification Logic based on Linear Logic

Giorgio Delzanno
AG2 Working Group Seminar
AG 2  
AG Audience
English

Date, Time and Location

Wednesday, 12 November 97
11:15
60 Minutes
46.1
024
Saarbrücken

Contact

Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only