Khalil Djelloul

21 papers B 2Misc 5Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2009 J jnl
A full first-order constraint solver for decomposable theories.
Ann. Math. Artif. Intell.
Khalil Djelloul
2009 J jnl
From decomposable to residual theories.
Appl. Math. Comput.
Khalil Djelloul
2009 Misc conf
From exponential to almost linear decomposability of finite or infinite trees.
SAC
Khalil Djelloul
2008 — conf
A Full First-Order Constraint Solver for Decomposable Theories.
AISC/MKM/Calculemus
Khalil Djelloul
2008 — conf
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.
CSCLP
Khalil Djelloul
2008 Misc conf
Combination of decomposability and propagation for solving first-order constraints in decomposable theories.
SAC
Khalil Djelloul
2008 J jnl
Theory of finite or infinite trees revisited.
Theory Pract. Log. Program.
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2007 B conf
A Unified Semantics for Constraint Handling Rules in Transaction Logic.
LPNMR
Marc Meister, Khalil Djelloul, Jacques Robin
2007 J jnl
Decomposable theories.
Theory Pract. Log. Program.
Khalil Djelloul
2007 J jnl
Theory of Finite or Infinite Trees Revisited
CoRR
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2007 Misc conf
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.
SAC
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2006 — conf
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees.
WLP
Khalil Djelloul, Thi-Bich-Hanh Dao
2006 — conf
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
CSCLP
Marc Meister, Khalil Djelloul, Thom W. Frühwirth
2006 J jnl
Decomposable Theories
CoRR
Khalil Djelloul
2006 Misc conf
Extension of First-Order Theories into Trees.
AISC
Khalil Djelloul, Thi-Bich-Hanh Dao
2006 — conf
Solving First-Order Constraints in the Theory of the Evaluated Trees.
CSCLP
Thi-Bich-Hanh Dao, Khalil Djelloul
2006 B conf
Solving First-Order Constraints in the Theory of the Evaluated Trees.
ICLP
Thi-Bich-Hanh Dao, Khalil Djelloul
2006 Misc conf
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.
SAC
Khalil Djelloul, Thi-Bich-Hanh Dao
2006 — —
théories complètes autour des arbres.
Khalil Djelloul
2005 — conf
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory.
FroCoS
Khalil Djelloul
2005 — conf
Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set.
FCS
Khalil Djelloul