Pimentel, Elaine GouveaNigam, VivekVega, Carlos Alberto Olarte2020-08-032020-08-032014PIMENTEL, Elaine; OLARTE, Carlos; NIGAM, Vivek. A Proof theoretic study of soft concurrent constraint programming. Theory and Practice of Logic Programming, [S.L.], v. 14, n. 4-5, p. 649-663, jul. 2014. Cambridge University Press (CUP). DisponÃvel em: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/proof-theoretic-study-of-soft-concurrent-constraint-programming/6F8DFEC730643E6682E8F549AC99927D. Acesso em: 30 jul. 2020. http://dx.doi.org/10.1017/s147106841400026x1471-0684https://repositorio.ufrn.br/jspui/handle/123456789/29779Concurrent Constraint ProgrammingLinear LogicSoft ConstraintsA proof theoretic study of soft concurrent constraint programmingarticle10.1017/S147106841400026X