A proof theoretic view of spatial and temporal dependencies in biochemical systems

dc.creatorVega, Carlos Alberto Olarte
dc.creatorChiarugi, Davide
dc.creatorHermith, Diana
dc.creatorFalaschi, Moreno
dc.date.accessioned2020-07-30T18:56:10Z
dc.date.accessioned2022-10-05T23:00:49Z
dc.date.available2020-07-30T18:56:10Z
dc.date.available2022-10-05T23:00:49Z
dc.date.created2020-07-30T18:56:10Z
dc.date.issued2016
dc.identifierOLARTE, 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.029
dc.identifier0304-3975
dc.identifierhttps://repositorio.ufrn.br/jspui/handle/123456789/29759
dc.identifierhttps://doi.org/10.1016/j.tcs.2016.03.029
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3944453
dc.publisherElsevier
dc.subjectBiochemical systems
dc.subjectLinear logic
dc.subjectSpatial
dc.subjectTemporal modalities
dc.titleA proof theoretic view of spatial and temporal dependencies in biochemical systems
dc.typearticle


Este ítem pertenece a la siguiente institución