Lotação:

Departamento de Computação

Fala à imprensa sobre:

teoria dos modelos finitos; lógicas de ponto-fixo

Se você deseja ter acesso a todas as informações do Guia de Fontes, faça o login ou solicite o acesso.