Search
Add filters:
Use filters to refine the search results.
Results 1-6 of 6 (Search time: 0.005 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 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 |
| 2015 | Subexponential concurrent constraint programming | Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte |
Discover
Subject
Has File
- 6 true