Hybrid and subexponential linear logics
| Autores | Despeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte | |
|---|---|---|
| Editor | Elsevier | |
| Data | 2017 | |
| Palavras-chave | Linear logic Hybrid Linear Logic Subexponentials Logical frameworks Temporal Logic | |
| Citação | ||
| Resumo | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/29756 | |
| Coleções | ECT - Artigos publicados em periódicos |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- HybridAndSubexponential_VEGA_2017.pdf
- Tamanho:
- 297.41 KB
- Formato:
- Adobe Portable Document Format
Carregando...
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.45 KB
- Formato:
- Item-specific license agreed upon to submission
Nenhuma Miniatura disponível