J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503--581, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Reasoning Tool for Timed CSP based on Constraint Solving - Jin Song Dong (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503--581, 1994.
Timetabling at German Secondary Schools: - Tabu Search Versus (Correct)
No context found.
Jaffar, J. and Maher, M. J. (1994): Constraint Logic Programming: A Survey. In: Journal of Logic Programming, Vol 19/20, pp 503-581.
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
No context found.
J. Jaffar and M. Maher, "Constraint logic programming: a survey," Journal of Logic Programming, vol. 19-20, pp. 503--582, 1994.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19,20:503--581, 1994.
A Dataflow Semantics for Constraint Logic Programs - Colussi, Marchiori, Marchiori (1995) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. JLP 19,20: 503-581, 1994.
An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) (Correct)
No context found.
J. Jaffar and M. Maher. Constraint logic programming: A survey. Journal of Logic Programming 19/20: 503--581, 1994.
Solving Combinatorial Problems with a Constraint.. - Fernandez.. (2003) (Correct)
No context found.
J. Jaffar and M. Maher. Constraint logic programming: a survey. The Journal of Logic Programming, 19-20:503--581, 1994.
A Constraint Functional Logic Language For Solving .. - Fernandez.. (2002) (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. The Journal of Logic Programming, 19/20:503--582, 1994.
A Generic Execution Model CLP(X) - Fernandez, Hill (1998) (Correct)
No context found.
JAFFAR J. and MAHER M.J., Constraint Logic Programming: A survey. In Journal of Logic Programming, 19/20, pps:503-581, 1994.
A Comparative Study of Eight Constraint Programming Languages .. - Fernandez, Hill (2000) (Correct)
No context found.
Jaffar, J. & Maher, M. J. (1994). Constraint logic programming: a survey. The Journal of Logic Programming 19&20: 503--581.
Set Based Logic Programming - Blair Marek Remmel (Correct)
No context found.
J. Jaffar and M. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19-20:503--581, 1994.
Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19 & 20:503--582, 1994.
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19/20:503--581, 1994.
The KGP Model of Agency - Kakas, Mancarella, Sadri, Stathis.. (2004) (1 citation) (Correct)
No context found.
J. Jaffar and M. J. Maher, `Constraint logic programming: A survey', Journal of Logic Programming, 19/20, 503--581, (1994).
A Logic Based Approach to Interaction Design in.. - Alberti.. (2004) (1 citation) (Correct)
No context found.
J. Jaffar and M. Maher. Constraint logic programming: a survey. J. of Logic Programming, 19/20:503--582, 1994.
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
No context found.
Jaffar, J., Maher, M.J., Constraint Logic Programming: a Survey, Journal of Logic Programming, 19-20, 1994. Constructive negation by pruning
Reasoning with Constraints and Well-Founded Negation - Stolzenburg, Obst (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19/20:503--581, 1994.
On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (2 citations) (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 20, 1994.
The Implementation of a System for Generation and.. - Alberti, Chesani (2004) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 1920: 503--582, 1994.
Inferring Left-terminating Classes of Queries for Constraint.. - Mesnard (1996) (20 citations) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: a survey. J. Logic Programming, 19:503--581, 1994.
MOBY/DC - A Tool for Model-Checking Parametric Real-Time.. - Dierks, Tapken (2003) (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503--582, May--July 1994.
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, pages 503--581, 1994.
Cassandra: Flexible Trust Management, Applied to Electronic.. - Becker, Sewell (Correct)
No context found.
J. Jaffar and M. J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19/20:503--581, 1994.
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (2 citations) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: a survey. J. Logic Programming, 19:503--581, 1994.
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (2 citations) (Correct)
No context found.
J. Jaffar and M.J. Maher. Constraint logic programming: a survey. J. Logic Programming, 19:503--581, 1994.
First 50 documents Next 50
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