1
2
Assuntos:
“...NP-Completude...”
Seleção de representantes para cobertura de componentes conexas em grafos
Dissertação
3
Assuntos:
“...EPG; EPT; Grafos de Interseção; NP-completude; Propriedade Helly; VPG; VPT; Helly property...”
On the helly property of some intersection graphs
Tese
4
Assuntos:
“...Completude...”
Uma formalização da lógica modal usando o assistente de provas Coq.
Dissertação
5
Assuntos:
“...Completude...”
Fronteiras movediças: fluidez do masculino e feminino em personagens de Mia Couto
Dissertação
6
Assuntos:
“...Completude de geodésicas...”
Um estudo sobre incompletude de geodésicas semi-Riemannianas
Dissertação
7
Assuntos:
“...Completude...”
Sífilis em gestantes: qualidade dos dados e o perfil epidemiológico no estado de São Paulo
Dissertação
8
9
Assuntos:
“...Completude de Turing...”
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Tese
10
11
Assuntos:
“...Règles de cohérence et de complétude...”
Contribution a l'etude du pilotage de la modelisation des systemes d'information
Tese
12
Assuntos:
“...[pt] PROVA GERAL DA COMPLETUDE...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
13
Assuntos:
“...Completude...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese
14
15
Assuntos:
“...Validação da consistência e completude em fragmentos de processo...”
Uma estratégia para validação da completude e consistência em processos de software
Dissertação