Thom Fruwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, 37(1-3):95--138, October 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Specialization of Concurrent Guarded Multi-Set - Transformation Rules Thom Self-citation (Fruhwirth) (Correct)
No context found.
Thom Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95--138, 1998.
Integration and Optimization of Rule-based Constraint Solvers - Abdennadher, Frühwirth (2004) Self-citation (Fr) (Correct)
No context found.
T. Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
Source-to-Source Transformation for a Class of Expressive Rules - Frühwirth, Holzbaur Self-citation (Fr) (Correct)
No context found.
T. Fruhwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998.
As Time Goes By: Automatic Complexity Analysis of Simpli - Cation Rules Thom (2002) Self-citation (Fr) (Correct)
No context found.
T. Fruhwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. J. Stuckey and K. Marriot, Eds.), Journal of Logic Programming Vol 37(1-3), Elsevier, 1998.
TCLP: overloading, subtyping and parametric polymorphism made .. - Coquery, Fages Self-citation (Fr) (Correct)
No context found.
T. Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1-3):95-138, October 1998.
Constraint Solver Synthesis using Tabled - Resolution For Constraint Self-citation (Fr) (Correct)
No context found.
T. Fruhwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 37(1-3):95-138, 1998.
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
No context found.
Thom Fruwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, 37(1-3):95--138, October 1998.
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
No context found.
T. Fr uhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1--3):95--138, Oct. 1998. Special Issue on Constraint Logic Programming.
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
No context found.
T. Fr uhwirth, "Theory and practice of constraint handling rules," Journal of Logic Programming, vol. 37, no. 1-3, pp. 95--138, Oct. 1998.
Optimal Union-Find in Constraint Handling Rules - Schrijvers, Frühwirth (2005) (Correct)
No context found.
Fr uhwirth, T. 1998. Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. Journal of Logic Programming 37, 1--3 (Oct.), 95--138.
Guard and Continuation Optimization for Occurrence.. - Sneyers, Schrijvers.. (2005) (Correct)
No context found.
Thom Fruhwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Special Issue on Constraint Logic Programming, Journal of Logic Programming, volume 37 (1--3), October 1998.
The Computational Power and Complexity of Constraint.. - Sneyers, Schrijvers.. (Correct)
No context found.
Thom Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1--3):95--138, October 1998.
Equivariant Unification - Cheney (Correct)
No context found.
Thom Fr uhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1--3):95--138, October 1998.
Modeling the User's Constraint Domain - Ringwelski (Correct)
No context found.
Thom Fruhwirth. Theory and practice of constraint handling rules. Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, 37(1-3):95--138, 1998.
Cooperative Solvers in Constraint Programming: a Short .. - Granvilliers.. (2001) (2 citations) (Correct)
No context found.
Fr uhwirth, T. Theory and practice of constraint handling rules. Journal of Logic Programming 37, 1-3 (1998).
A Logic Based Approach to Interaction Design in.. - Alberti.. (2004) (1 citation) (Correct)
No context found.
T. Fr uhwirth. Theory and practice of constraint handling rules. J. of Logic Programming, 37(1-3):95--138, Oct. 1998.
Evaluation-Based Semiring Meta-Constraints - Jerome Kelleher And (Correct)
No context found.
Thom Fr uhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1-3):95--138, October 1998.
The Implementation of a System for Generation and.. - Alberti, Chesani (2004) (Correct)
No context found.
T. Fr uhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(13) :95--138, October 1998.
Cost Analysis using Automatic Size and Time Inference - Portillo, Hammond, Loidl, .. (2002) (Correct)
No context found.
Fruhwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37 (1998)
Model Based Testing in Evolutionary Software Development - Pretschner, Lötzbeyer.. (2001) (4 citations) (Correct)
No context found.
T. Fr uhwirth. Theory and practice of constraint handling rules. J. Logic Prog., 37(1-3):95--138, October 1998.
A Literate Programming System for Logic Programs with Constraints - Schumann (Correct)
No context found.
T. Fruhwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998.
SWI-Prolog 5.3 Reference Manual - Wielemaker (2004) (3 citations) (Correct)
No context found.
T. Fr uhwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Special Issue on Constraint Logic Programming, volume 37, October 1998.
Sound and Decidable Type Inference for Functional.. - Duck, Peyton-Jones.. (2004) (Correct)
No context found.
T. Fruhwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
No context found.
Fr uhwirth, T. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming 37 (1998), 95--138.
Unknown - (Correct)
No context found.
T. FR UHWIRTH, Theory and practice of constraint handling rules, special issue on constraint logic programming, Journal of Logic Programming, (1998), pp. 95-- 138.
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