Laboratoire d'informatique fondamentale de Marseille
UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence
Consultation
Derniers dépôts
Liste des articles
Liste par équipe
Liste par date
Liste par domaine
Liste par auteurs
Rechercher
106 articles – 48 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> Colmerauer .:.
2 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
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]
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]