Aspectos Computacionais do Cálculo das Estruturas Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 
• https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00 

orientado por

• Elaine Gouvêa Pimentel

produzido em

• https://brcris.ibict.br/individual/cour_3d2ecf65-936f-4ac8-b527-7eb81ef4b213 
• Graduate Program in Computer Science  Programa de Pós-Graduação

tipo

• master thesis

autores

• Mário Sérgio Ferreira Alvim Júnior

data de publicação

• 2008-01-01

prêmio patrocinado pela

• UNIVERSIDADE ESTADUAL DE MONTES CLAROS  Organização

áreas de investigação

• CIENCIAS_EXATAS_E_DA_TERRA
• Teoria da Computação

palavras-chave

• "Calculus of Structures"
• "Deep-inference"
• Calculus of Structures
• Computation
• Cut elimination
• Cálculo das Estruturas
• Lógica Computacional
• Lógica Linear
• proof theory

identificador BrCris

• 05579e098e0853fe230812e9c6e9fca5

identificador Capes

• 20086532001010004P6-Publication

identificador Oasisbr

• UFMG_ef68d50cbe2195a077686ecd27e37a53