Fechar

Defesa de Dissertação de Mestrado: Using LEAN to show that every exponentially big normal proof in Minimal Implicational Logic is exponentially redundant

Autor: Robinson Callou de Moura Brasil Filho

Orientador: Edward Hermann Haeusler

Data e Hora: 24/09/2019 às 09:30

Local: RDC510

Categorias: DI, Notícias, Defesas, Pós-graduação, Stricto Sensu