Thi-Bich-Hanh Dao

	2011
21		Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier: Model-Theory of Property Grammars with Features. IWPT 2011: 75-79
20		Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat: Characterizing Conclusive Approximations by Logical Formulae. RP 2011: 72-84
	2009
19		Denys Duchier, Jean-Philippe Prost, Thi-Bich-Hanh Dao: A Model-Theoretic Framework for Grammaticality Judgements. FG 2009: 17-30
	2008
18		Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of finite or infinite trees revisited. TPLP 8(4): 431-489 (2008)
	2007
17		Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. SAC 2007: 58-64
16		Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of Finite or Infinite Trees Revisited CoRR abs/0706.4323: (2007)
	2006
15		Khalil Djelloul, Thi-Bich-Hanh Dao: Extension of First-Order Theories into Trees. AISC 2006: 53-67
14		Thi-Bich-Hanh Dao, Khalil Djelloul: Solving First-Order Constraints in the Theory of the Evaluated Trees. CSCLP 2006: 108-123
13		Thi-Bich-Hanh Dao, Khalil Djelloul: Solving First-Order Constraints in the Theory of the Evaluated Trees. ICLP 2006: 423-424
12		Khalil Djelloul, Thi-Bich-Hanh Dao: Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. SAC 2006: 7-14
11		Khalil Djelloul, Thi-Bich-Hanh Dao: Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. WLP 2006: 111-119
	2003
10		Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali: Intermediate (Learned) Consistencies. CP 2003: 889-893
9		Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali: Learning Approximate Consistencies. CSCLP 2003: 87-106
8		Arnaud Lallouet, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali: Language, Definition and Optimal Computation of CSP Approximations. FLAIRS Conference 2003: 182-186
7		Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali: Finite Domain Constraint Solver Learning. IJCAI 2003: 1379-1380
6		Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali: Apprentissage de solveurs de contraintes sur les domaines finis. JFPLC 2003: 125-138
5		Alain Colmerauer, Thi-Bich-Hanh Dao: Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. Constraints 8(3): 283-302 (2003)
4		AbdelAli Ed-Dbali, Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko: Apprentissage de solveurs de contraintes sur les domaines finis. Technique et Science Informatiques 22(1): 125-138 (2003)
	2002
3		Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin: Indexical-Based Solver Learning. CP 2002: 541-555
	2000
2		Alain Colmerauer, Thi-Bich-Hanh Dao: Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. CP 2000: 172-186
1		Thi-Bich-Hanh Dao: Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis. JFPLC 2000: 225-240

Coauthor Index

1	Yohan Boichut	[20]
2	Alain Colmerauer	[2] [5]
3	Khalil Djelloul	[11] [12] [13] [14] [15] [16] [17] [18]
4	Denys Duchier	[19] [21]
5	AbdelAli Ed-Dbali	[4] [6] [7] [8] [9] [10]
6	Thom W. Frühwirth	[16] [17] [18]
7	Arnaud Lallouet	[3] [4] [6] [7] [8] [9] [10]
8	Andrei Legtchenko	[3] [4] [6] [7] [9] [10]
9	Lionel Martin	[3]
10	Valérie Murat	[20]
11	Yannick Parmentier	[21]
12	Jean-Philippe Prost	[19]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page