Search the dblp DataBase

Publications of Author

1. Khalil Djelloul, Thi-Bich-Hanh Dao
   Extension of First-Order Theories into Trees. [Citation Graph (0, 0)][DBLP]
   AISC, 2006, pp:53-67 [Conf]
   
2. Khalil Djelloul
   Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set. [Citation Graph (0, 0)][DBLP]
   FCS, 2005, pp:87-93 [Conf]
   
3. Khalil Djelloul
   About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:106-121 [Conf]
   
4. Thi-Bich-Hanh Dao, Khalil Djelloul
   Solving First-Order Constraints in the Theory of the Evaluated Trees. [Citation Graph (0, 0)][DBLP]
   ICLP, 2006, pp:423-424 [Conf]
   
5. Marc Meister, Khalil Djelloul, Jacques Robin
   A Unified Semantics for Constraint Handling Rules in Transaction Logic. [Citation Graph (0, 0)][DBLP]
   LPNMR, 2007, pp:201-213 [Conf]
   
6. Khalil Djelloul, Thi-Bich-Hanh Dao
   Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. [Citation Graph (0, 0)][DBLP]
   SAC, 2006, pp:7-14 [Conf]
   
7. Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
   Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:58-64 [Conf]
   
8. Khalil Djelloul, Thi-Bich-Hanh Dao
   Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. [Citation Graph (0, 0)][DBLP]
   WLP, 2006, pp:111-119 [Conf]
   
9. Thi-Bich-Hanh Dao, Khalil Djelloul
   Solving First-Order Constraints in the Theory of the Evaluated Trees. [Citation Graph (0, 0)][DBLP]
   CSCLP, 2006, pp:108-123 [Conf]
   
10. Marc Meister, Khalil Djelloul, Thom W. Frühwirth
    Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2006, pp:139-153 [Conf]
    
11. Khalil Djelloul, Thi-Bich-Hanh Dao, Thom Fruehwirth
    Theory of Finite or Infinite Trees Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
12. Khalil Djelloul
    Decomposable Theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
13. 
    A Full First-Order Constraint Solver for Decomposable Theories. [Citation Graph (, )][DBLP]
    
    
14. 
    An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. [Citation Graph (, )][DBLP]
    
    
15. 
    Combination of decomposability and propagation for solving first-order constraints in decomposable theories. [Citation Graph (, )][DBLP]
    
    
16. 
    From exponential to almost linear decomposability of finite or infinite trees. [Citation Graph (, )][DBLP]
    
    
17. 
    A full first-order constraint solver for decomposable theories. [Citation Graph (, )][DBLP]