 | 2009 |
|---|
| 20 |       | Khalil Djelloul:
From exponential to almost linear decomposability of finite or infinite trees.
SAC 2009: 897-902 |
| 19 | | Khalil Djelloul:
A full first-order constraint solver for decomposable theories.
Ann. Math. Artif. Intell. 56(1): 43-64 (2009) |
| 18 | | Khalil Djelloul:
From decomposable to residual theories.
Applied Mathematics and Computation 215(5): 1761-1779 (2009) |
| 2008 |
|---|
| 17 | | Khalil Djelloul:
A Full First-Order Constraint Solver for Decomposable Theories.
AISC/MKM/Calculemus 2008: 93-108 |
| 16 | | Khalil Djelloul:
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.
CSCLP 2008: 33-50 |
| 15 | | Khalil Djelloul:
Combination of decomposability and propagation for solving first-order constraints in decomposable theories.
SAC 2008: 1728-1732 |
| 14 | | 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 | | Marc Meister,
Khalil Djelloul,
Jacques Robin:
A Unified Semantics for Constraint Handling Rules in Transaction Logic.
LPNMR 2007: 201-213 |
| 12 | | 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 | | Khalil Djelloul,
Thi-Bich-Hanh Dao,
Thom W. Frühwirth:
Theory of Finite or Infinite Trees Revisited
CoRR abs/0706.4323: (2007) |
| 10 | | Khalil Djelloul:
Decomposable theories.
TPLP 7(5): 583-632 (2007) |
| 2006 |
|---|
| 9 | | Khalil Djelloul,
Thi-Bich-Hanh Dao:
Extension of First-Order Theories into Trees.
AISC 2006: 53-67 |
| 8 | | Thi-Bich-Hanh Dao,
Khalil Djelloul:
Solving First-Order Constraints in the Theory of the Evaluated Trees.
CSCLP 2006: 108-123 |
| 7 | | 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 | | Thi-Bich-Hanh Dao,
Khalil Djelloul:
Solving First-Order Constraints in the Theory of the Evaluated Trees.
ICLP 2006: 423-424 |
| 5 | | 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 | | Khalil Djelloul,
Thi-Bich-Hanh Dao:
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees.
WLP 2006: 111-119 |
| 3 | | 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 | | Khalil Djelloul:
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory.
FroCos 2005: 106-121 |
Data released under the ODC-BY 1.0 license — See also our legal information page