`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:

### Wrote 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.