Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2012 - (1)

  • Autres Publications - (1)

    • Contributions à la résolution de contraintes du premier ordre
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 749277

• 2009 - (4)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Décidabilité de contraintes du premier ordre par contraintes duales
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 387824

    • From exponential to almost linear decomposability of finite or infinite trees
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 474386

  • Revue internationale à comité de lecture - (2)

    • A full first-order constraints solver for decomposable theories
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 460806

    • From decomposable to residual theories
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 474385

• 2008 - (5)

  • Publications dans les actes d'un congrès international avec comité de lecture - (3)

    • A full first-order constraint solver for decomposable theories
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 460813

    • An efficient decision procedure for functional decomposable theories based on dual constraints
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 460808

    • Combination of decomposability and propagation for solving first-order constraints in decomposable theories.
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 460817

  • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Combinaison de la propagation et de la décomposabilité pour la résolution de contraintes du premier ordre
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 294886

  • Revue internationale à comité de lecture - (1)

    • Theory of Finite or Infinite Trees Revisited
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO, Thom FRUEHWIRTH
      

      HAL : 202312

• 2007 - (5)

  • Publications dans les actes d'un congrès international avec comité de lecture - (5)

    • Extension au premier ordre de l'unification des termes par CHR
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO, Thom FRUEHWIRTH
      

      HAL : 151075

    • A unified sematics for CHR in transaction logic.
      Auteur(s) : Khalil DJELLOUL, Marc MEISTER, Jacques ROBIN
      

      HAL : 202315

    • Complexity of a CHR solver for existentially quantified conjunctions of equations over trees.
      Auteur(s) : Khalil DJELLOUL, Marc MEISTER, Thom FRUEHWIRTH
      

      HAL : 202313

    • Toward a first-order extension of Prolog's unification using CHR
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO, Thom FRUEHWIRTH
      

      HAL : 202316

    • Solving First-Order Constraints in the Theory of the Evaluated Trees
      Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Khalil DJELLOUL
      

      HAL : 202314

• 2006 - (6)

  • Publications dans les actes d'un congrès international avec comité de lecture - (5)

    • Extension into trees of first order theories
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO
      

      HAL : 202317

    • Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO
      

      HAL : 144959

    • Résolution de contraintes du premier ordre dans la théorie des arbres évalués
      Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Khalil DJELLOUL
      

      HAL : 85773

    • Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO
      

      HAL : 144960

    • Complétude des extensions en arbres de théories
      Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO
      

      HAL : 85774

  • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Resolution de contraintes du premier ordre dans des théories dites décomposables.
      Auteur(s) : Khalil DJELLOUL
      

      HAL : 202310