Publications

of Thi-Bich-Hanh Dao

Conference articles

  1. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 2007 ACM Symp. Applied computing, pages 58-64, 2007. ACM. ISBN: 1-59593-480-4.

BACK TO INDEX