A proof theoretic study of soft concurrent constraint programming

article

Fecha

2014

Registro en:

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

1471-0684

https://repositorio.ufrn.br/jspui/handle/123456789/29779

10.1017/S147106841400026X

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3975114

Autor

Pimentel, Elaine Gouvea

Nigam, Vivek

Vega, Carlos Alberto Olarte

Institución

Universidade Federal do Rio Grande do Norte (Brasil)

Materias

Concurrent Constraint Programming

Soft Constraints

Mostrar el registro completo del ítem