Browsing by Author Martins, Ana Teresa de Castro

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 15 of 15
Issue DateTitleAuthor(s)
2016Complexidade descritiva da lógica de ponto fixo relacional inflacionárioMartins, Ana Teresa de Castro; Farias, Márcia Roberta Falcão de; Ferreira, Francicleber Martins
2010Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modaisMartins, Ana Teresa de Castro; Freire, Cibele Matos
2010Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modaisMartins, Ana Teresa de Castro; Freire, Cibele Matos
2014Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordemMartins, Ana Teresa de Castro; Rocha, Thiago Alves
2014Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordemMartins, Ana Teresa de Castro; Rocha, Thiago Alves
2012Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitadoMartins, Ana Teresa de Castro; Ferreira, Francicleber Martins
2011Uma lógica de descrição DefaultMartins, Ana Teresa de Castro; Frota, Débora Farias
2011Uma Lógica de Descrição DefaultMartins, Ana Teresa de Castro; Frota, Débora Farias; Alcântara, João Fernando Lima
2007Modelos minimais e hierarquia de expressividadeMartins, Ana Teresa de Castro; Ferreira, Francicleber Martins; Pequeno, Marcelino Cavalcante
2007Modelos minimais e hierarquia de expressividadeMartins, Ana Teresa de Castro; Ferreira, Francicleber Martins; Pequeno, Marcelino Cavalcante
2019Parameterized complexity investigations on the first-order satisfiability and matching problemsMartins, Ana Teresa de Castro; Morais, Luis Henrique Bustamante de; Ferreira, Francicleber Martins
2012Refinamento de consultas em lógicas de descrição utilizando teoria dos Rough setsAlcântara, João Fernando Lima; Oliveira, Henrique Viana; Martins, Ana Teresa de Castro
2012Refinamento de Consultas em Lógicas de Descrição Utilizando Teoria dos Rough SetsAlcântara, João Fernando Lima; Oliveira, Henrique Viana; Martins, Ana Teresa de Castro
2007Um sistema infinitário para a lógica de menor ponto fixoMartins, Ana Teresa de Castro; Arruda, Alexandre Matos; Pereira, Luiz Carlos Pinheiro Dias
2010Sistemas esquemáticos de dedução natural: um estudo prova-teóricoMartins, Ana Teresa de Castro; Cavalcante, Alexandre Silva