Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-7 de 7.
- Anterior
- 1
- Póximo
Conjunto de itens:
Data do documento | Título | Autor(es) |
---|---|---|
4-Mai-2017 | A uniform framework for substructural logics with modalities | Vega, Carlos Alberto Olarte; Lellmann, Björn; Pimentel, Elaine Gouvea |
2015 | Subexponential concurrent constraint programming | Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte |
2016 | A proof theoretic view of spatial and temporal dependencies in biochemical systems | Vega, Carlos Alberto Olarte; Chiarugi, Davide; Hermith, Diana; Falaschi, Moreno |
2018 | Mechanizing focused linear logic in coq | Xavier, Bruno; Vega, Carlos Alberto Olarte; Reis, Giselle; Nigam, Vivek |
2015 | Verification of spatial and temporal modalities in biochemical systems | Falaschi, Moreno; Hermith, Diana; Chiarugi, Davide; Vega, Carlos Alberto Olarte |
2017 | Hybrid and subexponential linear logics | Despeyroux, Joelle; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte |
2015 | Proving concurrent constraint programming correct, revisited | Vega, Carlos Alberto Olarte; Pimentel, Elaine Gouvea |
Busca facetada
Assunto