`Travelled to:`

1 × France

1 × Korea

1 × USA

`Collaborated with:`

K.Djelloul T.W.Frühwirth

`Talks about:`

order (4) first (4) constraint (3) theori (3) tree (3) infinit (2) finit (2) solv (2) chr (2) introduct (1)

## Person: Thi-Bich-Hanh Dao

### DBLP: Dao:Thi=Bich=Hanh

### Contributed to:

### Wrote 3 papers:

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