1
Assuntos:
“...Completude...”
Uma formalização da lógica modal usando o assistente de provas Coq.
Dissertação
2
3
Assuntos:
“...Completude de Turing...”
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Tese
4
Assuntos:
“...Completude de geodésicas...”
Um estudo sobre incompletude de geodésicas semi-Riemannianas
Dissertação
5
Assuntos:
“...Completude...”
Sífilis em gestantes: qualidade dos dados e o perfil epidemiológico no estado de São Paulo
Dissertação
6
7
Assuntos:
“...Completude...”
Fronteiras movediças: fluidez do masculino e feminino em personagens de Mia Couto
Dissertação
8
9
10
Assuntos:
“...Completude vacinal...”
Completude e atraso da vacinação contra poliomielite antes e após a substituição da vacina oral pela injetável
Dissertação
11
Assuntos:
“...NP-Completude...”
Seleção de representantes para cobertura de componentes conexas em grafos
Dissertação
12
Assuntos:
“...Règles de cohérence et de complétude...”
Contribution a l'etude du pilotage de la modelisation des systemes d'information
Tese
13
Assuntos:
“...EPG; EPT; Grafos de Interseção; NP-completude; Propriedade Helly; VPG; VPT; Helly property...”
On the helly property of some intersection graphs
Tese
14
Assuntos:
“...Completude jurídica...”
Autointegração jurídica: uma reconstrução formal do problema das lacunas no direito
Dissertação
15
Assuntos:
“...Completude...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese
16
Assuntos:
“...[pt] PROVA GERAL DA COMPLETUDE...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
17
18
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