Mostrando 1 - 2 resultados de 2 para a busca 'Rocha, Thiago Alves', tempo de busca: 0,01s

1

Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability

Publicado em 2019
Acessar documento
Tese

2

Complexidade 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 ordem

Publicado em 2014
Acessar documento
Dissertação