106 articles – 48 references  [version française]
.:. Browse > List by date > 2000 .:.
3 documents ordered by :
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]
The power of local computations in graphs with initial knowledge
Godard E., Métivier Y., Muscholl A.
Dans Graph transformation - Theory and applications of graph transformations, Allemagne (2000) [hal-00307373 - version 1]