Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

25/01/2002, Friday, 16:30–17:30
Room P3.10, Mathematics Building

Luís Caires, Universidade Nova de Lisboa

Lógica espacial para cálculos de processos: semântica e teoria da prova

IT Técnico FCT