Navegando por Orientador Nalon, Cláudia

Pular para: 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
ou entre as primeiras letras:  
Mostrando resultados 1 a 11 de 11
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
28-Set-20162016Um algoritmo baseado em programação dinâmica e renomeamento para minimização de formas normaisPimenta, Matheus Costa de Sousa CarvalhoNalon, Cláudia-
28-Jun-20225-Nov-2021Algoritmos de seleção de cláusulas em provas por resolução para lógicas modaisLeite, José Marcos da SilvaNalon, Cláudia-
22-Nov-201614-Jul-2011Análise da complexidade de espaço para um algoritmo de K(1)-ValidadeVilela, Bruno AzevedoNalon, Cláudia-
5-Out-202321-Jul-2023Implementação da combinação de métodos de prova automática de teoremas para lógicas modaisMacêdo, Karen LimaNalon, Cláudia-
6-Fev-201418-Dez-2013Implementação de um provador de teoremas por resolução para lógicas modais normaisSilva, George BezerraNalon, Cláudia-
6-Out-202325-Jul-2023Lidando com a legibilidade de provas em IsabelleRodrigues, Rafael MonteiroNalon, Cláudia-
6-Abr-20172016Métodos polinomiais para simplificação de fórmulas modaisMenezes, André BelleNalon, Cláudia-
5-Out-202316-Fev-2023Preprocessamento de cláusulas para raciocínio local e global no KSPMelo, João Victor Cabral deNalon, Cláudia-
26-Jun-20224-Nov-2021Prova automática de teoremas para lógicas confluentesAraújo, Boris Marinho Ramos SilvaNalon, Cláudia-
30-Out-201731-Out-2017Provas de teoremas em lógica três-valoradaCastro, Matheus Bastos deNalon, Cláudia-
11-Ago-201730-Jan-2016Tableaux clausal para lógica modalAngelos, Daniella Albuquerque dosNalon, Cláudia-
Mostrando resultados 1 a 11 de 11