Search the dblp DataBase

Publications of Author

1. Leslie De Koninck, Tom Schrijvers, Bart Demoen
   INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. [Citation Graph (0, 0)][DBLP]
   WLP, 2006, pp:91-100 [Conf]
   
2. Leslie De Koninck, Tom Schrijvers, Bart Demoen
   The Correspondence Between the Logical Algorithms Language and CHR. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:209-223 [Conf]
   
3. Leslie De Koninck, Tom Schrijvers, Bart Demoen
   User-definable rule priorities for CHR. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:25-36 [Conf]
   
4. 
   Optimizing Compilation of CHR with Rule Priorities. [Citation Graph (, )][DBLP]
   
   
5. 
   Cadmium: An Implementation of ACD Term Rewriting. [Citation Graph (, )][DBLP]
   
   
6. 
   Demand-Driven Normalisation for ACD Term Rewriting. [Citation Graph (, )][DBLP]
   
   
7. 
   Execution Control for CHR. [Citation Graph (, )][DBLP]
   
   
8. 
   Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities [Citation Graph (, )][DBLP]
   
   
9. 
   As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 [Citation Graph (, )][DBLP]