Navegando por Autor Ferreira, Francicleber Martins
Mostrando resultados 1 a 5 de 5
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2016 | Complexidade descritiva da lógica de ponto fixo relacional inflacionário | Farias, Márcia Roberta Falcão de | Tese |
| 2012 | Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado | Ferreira, Francicleber Martins | Tese |
| 2007 | Modelos minimais e hierarquia de expressividade | Ferreira, Francicleber Martins | Dissertação |
| 2019 | Parameterized complexity investigations on the first-order satisfiability and matching problems | Morais, Luis Henrique Bustamante de | Tese |
| 2019 | Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | Rocha, Thiago Alves | Tese |