Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

09/02/2001, Friday, 16:30–17:30
Room P3.10, Mathematics Building

Paulo Mateus, Instituto Superior Técnico

Paracategories of probabilistic automata

IT Técnico FCT