Navegando por Autor Rocha, Thiago Alves

Ir 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 com as primeiras letras:  
Mostrando resultados 1 a 3 de 3
Data do documentoTítuloAutor(es)Tipo
2021Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de softwareRocha, Bruno MenezesDissertação
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 ordemRocha, Thiago AlvesDissertação
2019Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiabilityRocha, Thiago AlvesTese
Mostrando resultados 1 a 3 de 3