Author： Leung H.F. Clark K.L.
Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.21, Iss.4, 1996-04, pp. : 699-714
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Distributed concurrent linear logic programming
By Kobayashi N. Shimizu T. Yonezawa A.
Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. :
Access to resources
Recommend
Incremental constraint satisfaction for equational logic programming
By Alpuente M. Falaschi M. Levi G.
Theoretical Computer Science, Vol. 142, Iss. 1, 1995-05 ,pp. :
Confluence in concurrent constraint programming
By Falaschi M. Gabbrielli M. Marriott K. Palamidessi C.
Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. :
Truly concurrent constraint programming
By Gupta V. Jagadeesan R. Saraswat V.A.
Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. :
Boosting distributed constraint satisfaction
Journal of Heuristics, Vol. 17, Iss. 3, 2011-06 ,pp. :