Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

23/03/2001, Friday, 16:30–17:30
Room P3.10, Mathematics Building

João Rasga, Instituto Superior Técnico

Modulated fibring: Completeness preservation

IT Técnico FCT