área de pesquisa
- Anjolina Grisi de Oliveira
- Análise didaticamente estruturada das correspondências entre Lógicas de Descrições e Lógicas Modais
- Em direção aos N-Grafos Intuicionistas
- Normalização para os N-Grafos
- Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
- Uma nova prova de corretude para os N-grafo