Navegando por Autor Freire, Cibele Matos
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2010 | Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais | Freire, Cibele Matos | Dissertação |