Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

22/06/2001, Friday, 16:30–17:30
Room P3.10, Mathematics Building

Dieter Spreen, U Siegen

Safe weak minimization revisited

IT Técnico FCT