Use filters to refine the search results.
| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 4-May-2015 | 22-Aug-2014 | Formalização da automação da terminação através de grafos com matrizes de medida | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | - |