Título: Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes Parity P e NP Interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem
Data: 24/02/2014
Horário: 10h
Local: Sala de Seminários Bloco 952
Banca: