Um estudo de lógica linear com subexponenciais
| Autores | Orto, Laura Fernandes Dell | |
|---|---|---|
| Orientador | Vega, Carlos Alberto Olarte | |
| Data | 2017-02-15 | |
| Palavras-chave | Lógica Matemática Teoria da prova Eliminação do corte Lógica linear Lógica linear com subexponenciais | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/22623 | |
| Coleções | PPGMAE - Mestrado em Matemática Aplicada e Estatística |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- LauraFernandesDellOrto_DISSERT.pdf
- Tamanho:
- 883.31 KB
- Formato:
- Adobe Portable Document Format
Carregando...