Vega, Carlos Alberto OlarteChiarugi, DavideHermith, DianaFalaschi, Moreno2020-07-302020-07-302016OLARTE, C.; CHIARUGI, D.; FALASCHI, M.; HERMITH, D.. A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theoretical Computer Science, [S.L.], v. 641, p. 25-42, ago. 2016. DisponÃvel em: https://www.sciencedirect.com/science/article/pii/S0304397516300184?via%3Dihub. Acesso em: 29 jul. 2020. http://dx.doi.org/10.1016/j.tcs.2016.03.0290304-3975https://repositorio.ufrn.br/jspui/handle/123456789/29759Biochemical systemsLinear logicSpatialTemporal modalitiesA proof theoretic view of spatial and temporal dependencies in biochemical systemsarticlehttps://doi.org/10.1016/j.tcs.2016.03.029