Título: | ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS | ||
Autor(es): |
CECILIA REIS ENGLANDER LUSTOSA |
||
Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
Coorientador (es): |
GILLES DOWEK |
||
Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
Área: | COMPUTER THEORY | ||
Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO GILLES DOWEK - INRIA WAGNER DE CAMPOS SANZ - UFG JEAN BAPTISTE JOINET - UNIV-LYON3 GEIZA MARIA HAMAZAKI DA SILVA - UNIRIO |
||
Vocabulário: | FINITE-VALUED PROPOSITIONAL LOGIC GENERAL COMPLETENESS PROOF ISOMORPHISM NATURAL DEDUCTION PROOF THEORY SEQUENT CALCULUS |
||
Apresentação: | 08/JUL/2014 | ||
Aceitação: | 08/JUL/2014 | ||
Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
Número de Chamada: | 004 L972o |