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 |