ETDs @PUC-Rio
| Título: | SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS | ||
| Autor(es): |
MARCELA QUISPE CRUZ |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Coorientador (es): |
LEW GORDEEV |
||
| 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 MARCO ANTONIO CASANOVA - PUC-RIO LEW GORDEEV - UT MAURICIO AYALA RINCON - UNB ANJOLINA GRISIDE OLIVEIRA - UFPE ALEX DE VASCONCELLOS GARCIA - IME |
||
| Vocabulário: | CLASSICAL LOGIC NATURAL DEDUCTION PROOF COMPLEXITY PROOF THEORY |
||
| Apresentação: | 13/JAN/2014 | ||
| Aceitação: | 13/NOV/2014 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 C957s | ||