ETDs @PUC-Rio
| Título: | ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM | ||
| Autor(es): |
ROBINSON CALLOU DE M BRASIL FILHO |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| 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 ALEXANDRE RADEMAKER - FGV MAURICIO AYALA RINCON - UNB ALEX DE VASCONCELLOS GARCIA - IME JEFFERSON DE BARROS SANTOS - FGV MARIO ROBERTO FOLHADELA BENEVIDES - UFF BERNARDO PINTO DE ALKMIM - PUC-RIO |
||
| Vocabulário: | ALGORITHM COMPLEXITY DIRECTED ACYCLIC GRAPH PROOF COMPRESSION PURELY IMPLICATIONAL MINIMAL LOGIC |
||
| Apresentação: | 30/ABR/2024 | ||
| Aceitação: | 30/ABR/2024 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | |||