área de pesquisa Ana Teresa de Castro Martins Débora Farias Frota Modelos Minimais e Hierarquia de Expressividade Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico. Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno Versionamento de Ontologias Baseado em Lógicas Temporais
