Pimentel, Elaine GouveaNigam, VivekVega, Carlos Alberto Olarte2020-08-032020-08-032015OLARTE, Carlos; PIMENTEL, Elaine; NIGAM, Vivek. Subexponential concurrent constraint programming. Theoretical Computer Science, [s.l.], v. 606, p. 98-120, nov. 2015.. DisponÃvel em: https://www.sciencedirect.com/science/article/pii/S0304397515005411?via%3Dihub. Acesso em: 30 jul. 2020. https://doi.org/10.1016/j.tcs.2015.06.0310304-3975https://repositorio.ufrn.br/jspui/handle/123456789/29776Linear logicConcurrent constraint programmingProof systemsSubexponential concurrent constraint programmingarticle10.1016/j.tcs.2015.06.031