Navegando por Autor Martins, Ana Teresa de Castro
Mostrando resultados 8 a 13 de 13
< Anterior
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
2019 | Parameterized complexity investigations on the first-order satisfiability and matching problems | Morais, Luis Henrique Bustamante de | Tese |
2012 | Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets | Oliveira, Henrique Viana | Dissertação |
2018 | Semântica algébrica equivalente para a lógica da inconsistência epistêmica | Mendes, Gabriela de Melo Pontes | Dissertação |
2007 | Um sistema infinitário para a lógica de menor ponto fixo | Arruda, Alexandre Matos | Dissertação |
2010 | Sistemas esquemáticos de dedução natural: um estudo prova-teórico | Cavalcante, Alexandre Silva | Tese |
2019 | Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | Rocha, Thiago Alves | Tese |