A Proof Theoretic Study of Soft Concurrent Constraint Programming

Elaine Pimentel, Carlos Olarte, Vivek Nigam. A Proof Theoretic Study of Soft Concurrent Constraint Programming. TPLP, 14(4-5):649-663, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.