Pesquisa e Pós-Graduação
em Ciência da Computação
Área de TEORIA DA COMPUTAÇÃO
Linhas de Pesquisa em
Lógica e Computação
Teoria da Prova
Teoria dos Modelos
Complexidade Algébrica
Última atualização em 7 de Dezembro de 2001, 09:33hs GMT-0200