ETDs @PUC-Rio
| Título: | SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL | ||
| Autor(es): |
JEFFERSON DE BARROS SANTOS |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Coorientador (es): |
GILLES DOWEK |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM INFORMÁTICA | ||
| Área: | TEORIA DA COMPUTAÇÃO | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO EDUARDO SANY LABER - PUC-RIO GILLES DOWEK - INRIA BRUNO LOPES VIEIRA - UFF MARIO ROBERTO FOLHADELA BENEVIDES - UFRJ |
||
| Vocabulário: | BUSCA DE PROVAS CALCULO DE SEQUENTES GERACAO DE CONTRA-MODELO LOGICA LOGICA PROPOSICIONAL MINIMAL IMPLICACIONAL |
||
| Apresentação: | 18/MAI/2017 | ||
| Aceitação: | 18/MAI/2017 | ||