of Khalil Djelloul

Books and proceedings

  1. K. Djelloul, G. J. Duck, and M. Sulzmann, editors. CHR07l, September 2007. Keyword(s): CHR 2007.

Articles in journal, book chapters

  1. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]

Conference articles

  1. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 22nd ACM Symp. Applied Computing, pages 58-64, 2007. ACM. ISBN: 1-59593-480-4.
  2. Marc Meister, Khalil Djelloul, and Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In C. Baral, G. Brewka, and J. S. Schlipf, editors, LPNMR '07: Proc. 9th Intl. Conf. Logic Programming and Nonmonotonic Reasoning, volume 4483 of LNCS, pages 201-213, May 2007. SV. [doi:10.1007/978-3-540-72200-7_18] Keyword(s): semantics.
  3. Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In F. Azevedo and others, editors, CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming, volume 4651 of LNCS, pages 139-153, June 2006. SV. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms.