Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

Home Page

2009 | ||
---|---|---|

17 | EE | Khalil Djelloul: From exponential to almost linear decomposability of finite or infinite trees. SAC 2009: 897-902 |

2008 | ||

16 | EE | Khalil Djelloul: A Full First-Order Constraint Solver for Decomposable Theories. AISC/MKM/Calculemus 2008: 93-108 |

15 | EE | Khalil Djelloul: Combination of decomposability and propagation for solving first-order constraints in decomposable theories. SAC 2008: 1728-1732 |

14 | EE | Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of finite or infinite trees revisited. TPLP 8(4): 431-489 (2008) |

2007 | ||

13 | EE | Marc Meister, Khalil Djelloul, Jacques Robin: A Unified Semantics for Constraint Handling Rules in Transaction Logic. LPNMR 2007: 201-213 |

12 | EE | 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. SAC 2007: 58-64 |

11 | EE | Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of Finite or Infinite Trees Revisited CoRR abs/0706.4323: (2007) |

10 | EE | Khalil Djelloul: Decomposable theories. TPLP 7(5): 583-632 (2007) |

2006 | ||

9 | EE | Khalil Djelloul, Thi-Bich-Hanh Dao: Extension of First-Order Theories into Trees. AISC 2006: 53-67 |

8 | EE | Thi-Bich-Hanh Dao, Khalil Djelloul: Solving First-Order Constraints in the Theory of the Evaluated Trees. CSCLP 2006: 108-123 |

7 | EE | Marc Meister, Khalil Djelloul, Thom W. Frühwirth: Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP 2006: 139-153 |

6 | EE | Thi-Bich-Hanh Dao, Khalil Djelloul: Solving First-Order Constraints in the Theory of the Evaluated Trees. ICLP 2006: 423-424 |

5 | EE | Khalil Djelloul, Thi-Bich-Hanh Dao: Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. SAC 2006: 7-14 |

4 | EE | Khalil Djelloul, Thi-Bich-Hanh Dao: Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. WLP 2006: 111-119 |

3 | EE | Khalil Djelloul: Decomposable Theories CoRR abs/cs/0607065: (2006) |

2005 | ||

2 | Khalil Djelloul: Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set. FCS 2005: 87-93 | |

1 | EE | Khalil Djelloul: About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. FroCos 2005: 106-121 |

1 | Thi-Bich-Hanh Dao | [4] [5] [6] [8] [9] [11] [12] [14] |

2 | Thom W. Frühwirth | [7] [11] [12] [14] |

3 | Marc Meister | [7] [13] |

4 | Jacques Robin | [13] |