106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > Dao .:.
5 documents classés par :
fulltext access Complétude des extensions en arbres de théories
Djelloul K., Dao T.-B.-H.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085774 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres évalués
Dao T.-B.-H., Djelloul K.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085773 - version 1]
fulltext access Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees
Colmerauer A., Dao T.-B.-H.
Constraints 8, 3 (2003) 283-302 [hal-00144931 - version 1]
fulltext access Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
Colmerauer A., Dao T.-B.-H.
In Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000, Singapore, September 2000. Proceedings - Principles and Practice of Constraint Programming - CP 2000, Singapore (2000) [hal-00144924 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis
Dao T.-B.-H.
In Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. Hermes 2000, ISBN 2-7462-0147-X - JFPLC, France (2000) [hal-00144920 - version 1]