Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-3 de 3.
- Anterior
- 1
- Póximo
Conjunto de itens:
| Data do documento | Título | Autor(es) |
|---|---|---|
| 15-Fev-2017 | Um estudo de lógica linear com subexponenciais | Orto, Laura Fernandes Dell |
| 15-Fev-2017 | Formalização da lógica linear em Coq | Xavier, Bruno Francisco |
| 28-Mai-2018 | Especificação e verificação de protocolos de votação em lógica linear com focusing | Silva, Washington Cavalcante da |