Author: Niemelä I.
Publisher: Springer Publishing Company
ISSN: 1012-2443
Source: Annals of Mathematics and Artificial Intelligence, Vol.25, Iss.3-4, 1999-01, pp. : 241-273
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
Linear Concurrent Constraint Programming: Operational and Phase Semantics
By Fages F. Ruet P. Soliman S.
Information and Computation, Vol. 165, Iss. 1, 2001-02 ,pp. :
A Fully Abstract Semantics for Concurrent Constraint Programming
Information and Computation, Vol. 146, Iss. 2, 1998-11 ,pp. :
Repeated Redundant Inequalities in Constraint Logic Programming
By Michaylov S.
Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. :