A proof theoretic study of soft concurrent constraint programming

Autores		Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte
Editor		Cambridge University Press
Data		2014
Palavras-chave		Concurrent Constraint Programming Linear Logic Soft Constraints
Citação		PIMENTEL, 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/s147106841400026x
Resumo
URI		https://repositorio.ufrn.br/jspui/handle/123456789/29779