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 des articles
.:.
154 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
5
-
6
-
7
-
8
-
9
-
10
-
11
Évaluer des systèmes de compréhension de textes
Blache P., Guizol J., Lévy F., Nazarenko A., N'Guema S., Rolbert M., Pasero R., Sabatier P.
In
Ressources et évaluation en ingénierie de la langue
(2001) 265-275 [hal-00088702 - 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]
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]