Navegando por Autor Soares, José Roberto
Mostrando resultados 1 a 1 de 1
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 18-Dez-2024 | 14-Out-2024 | Formalização em Coq da prova de confluência do cálculo λx no contexto nominal | Soares, José Roberto | Moura, Flávio Leonardo Cavalcanti de | - |