| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 27-Fev-2026 | 2-Out-2025 | Anti-unification in absorptive theories | González Barragan, Andrés Felipe | Ayala-Rincón, Mauricio | Kutsia, Temur |
| 2022 | - | Nominal anti-unification with atom-variables | Schmidt-Schauß, Manfred; Nantes Sobrinho, Daniele | - | - |