Normalização para os N-Grafos Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 

orientado por

• Ruy José Guerra Barretto de Queiroz
• Anjolina Grisi de Oliveira

produzido em

• https://brcris.ibict.br/individual/cour_bea7b14f-a571-42b6-a019-808d98436041 
• Computer Science graduate program  Programa de Pós-Graduação

tipo

• master thesis

autores

• Gleifer Vaz Alves

data de publicação

• 2005-01-01

prêmio patrocinado pela

• UNIVERSIDADE FEDERAL DE PERNAMBUCO  Organização

áreas de investigação

• CIENCIAS_EXATAS_E_DA_TERRA
• Logica aplicada a computacao
• Lógica
• Lógica Matemática
• Teoria da Computação
• Teoria da Prova

palavras-chave

• Deducao Natural
• Deducao natural
• Estruturas de ciclo
• Geometria da Deducao
• Geometria da Dedução
• Grafos de Prova
• Múltipla conclusão
• N-Grafos
• Normalização de Provas
• Provas como Grafos
• Teorema da Normalizacao
• Teoria da Prova

identificador BrCris

• 6489a1d9f439b54e641ad6404de40489

identificador Oasisbr

• UFPE_3bbecd38ca8c4ec943b15dcf2f04067d
• UFPE_aaf563e738e8cfbf6c94a9c6cc8c1ffd