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:
2007
20062006Wrote 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.