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 8 de 8
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-
6-Fev-201418-Dez-2013Implementação de um provador de teoremas por resolução para lógicas modais normaisSilva, George BezerraNalon, Cláudia-
6-Abr-20172016Métodos polinomiais para simplificação de fórmulas modaisMenezes, André BelleNalon, 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 8 de 8