Fr'ed'eric Benhamou and Alain Colmerauer. Constraint Logic Programming: Selected Research. MIT Press, Cambridge, MA, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Calculus for Higher-order Concurrent Constraint Programming.. - Smolka (1994) (22 citations) (Correct)
....: 25 5.4 Reduction : 25 6 Constraint Communication 30 1 Introduction Concurrent constraint programming [28] brings together ideas from constraint and concurrent logic programming. Constraint logic programming [13, 2], on the one hand, originated with Prolog II [6] and was prompted by the need to integrate numbers and data structures in an operationally efficient, yet logically sound manner. Concurrent logic programming [30] on the other hand, originated with the Relational Language [5] and was promoted by ....
Fr'ed'eric Benhamou and Alain Colmerauer, editors. Constraint Logic Programming: Selected Research. The MIT Press, Cambridge, Mass., 1993.
Over-Constrained Systems in CLP and CSP - Jampel (1996) (2 citations) (Correct)
No context found.
Fr'ed'eric Benhamou and Alain Colmerauer. Constraint Logic Programming: Selected Research. MIT Press, Cambridge, MA, 1993.
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure - Uribe, al. (1994) (22 citations) (Correct)
No context found.
Fr'ed'eric Benhamou and Alain Colmerauer, editors. Constraint Logic Programming: Selected Research. MIT Press, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC