| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 20-Ago-2024 | 30-Mar-2023 | Sistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos | Maia, Mateus de Carvalho | Freire, Rodrigo de Alvarenga | - |