Travelled to:1 × Brazil
1 × France
1 × Korea
2 × USA
Collaborated with:T.Dao ∅ T.W.Frühwirth
Talks about:order (5) first (5) constraint (4) decompos (4) theori (4) tree (4) infinit (3) finit (3) solv (3) chr (2)
Person: Khalil Djelloul
DBLP: Djelloul:Khalil
Contributed to:
200920082007
20062006Wrote 5 papers:
- SAC-2009-Djelloul #exponential #finite #infinity #linear
- From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.
- SAC-2008-Djelloul #constraints #first-order
- Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
- SAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using
- Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.
- ICLP-2006-DaoD #constraints #first-order #formal method
- Solving First-Order Constraints in the Theory of the Evaluated Trees (TBHD, KD), pp. 423–424.
- SAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity
- Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.