Sujets...
Christian Retoré
(
retore@labri.fr /
05 4000 38 72)
1 ... de thèse
Learning categorial grammars from annotated corpora Acquisition de grammaires catégorielles à partir de corpus annotés (Moot/Retoré)
Interprétations catégoriques de la logique linéaire du premier ordre — applications aux aspects ontologiques de la sémantique lexicale Categorial interpretations of first order linear logic — with application to ontological aspects of lexcial semantics (Retoré/Gillibert)
2 ... de mémoires de recherche (master)
Complétude de la logique intuitionniste par rapport aux faisceaux de modèles
Graphes de démonstration pour la logique linéaire partiellement commutative
3 ... de programmation (niveau master)
Graphes de démonstration, couplages parfaits et cographes
Vendredi 19 Février, 2010 20:27
Christian Retoré