Hybrid and subexponential linear logics

dc.creatorDespeyroux, Joelle
dc.creatorPimentel, Elaine Gouvea
dc.creatorVega, Carlos Alberto Olarte
dc.date.accessioned2020-07-30T18:10:25Z
dc.date.accessioned2022-10-06T12:23:07Z
dc.date.available2020-07-30T18:10:25Z
dc.date.available2022-10-06T12:23:07Z
dc.date.created2020-07-30T18:10:25Z
dc.date.issued2017
dc.identifierDESPEYROUX, Joëlle; OLARTE, Carlos; PIMENTEL, Elaine. Hybrid and Subexponential Linear Logics. Electronic Notes in Theoretical Computer Science, [S.L.], v. 332, p. 95-111, jun. 2017. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066117300178?via%3Dihub. Acesso em: 29 Jul. 2020. http://dx.doi.org/10.1016/j.entcs.2017.04.007.
dc.identifier1571-0661
dc.identifierhttps://repositorio.ufrn.br/jspui/handle/123456789/29756
dc.identifier10.1016/j.entcs.2017.04.007
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3951097
dc.publisherElsevier
dc.subjectLinear logic
dc.subjectHybrid Linear Logic
dc.subjectSubexponentials
dc.subjectLogical frameworks
dc.subjectTemporal Logic
dc.titleHybrid and subexponential linear logics
dc.typearticle


Este ítem pertenece a la siguiente institución