Anjolina Grisi de Oliveira
Meu mestrado
Fiz meu mestrado em Ciência da Computação no
Departamento de Informática - UFPE, na área de
Teoria da Computação, mais especificamente, na subárea Lógica e Computação.
Orientação: professor Ruy J.
G. B. de Queiroz .
Dissertação:
Tranformação entre Provas para a Dedução Natural Rotulada via Reescrita de Termos.
Defesa em abril de 1995.
Dissertação premiada com o segundo lugar no CTD/SBC,1996.