Recherche
-
On the trees underlying natural language sentences
Communication dans un congrès -
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Separating Syntax and Combinatorics in Categorial Grammar
(Research on Language and Computation. vol. 5, n° 3, pp. 267--285, 2007)Article de revue -
Meta-communications in Component-base Communication Frameworks for Grids
(Cluster Computing. vol. 10, n° 3, pp. 253-263, 2007-06)Article de revue -
The PT-Scotch project: purpose, algorithms, intermediate results
Communication dans un congrès -
The PT-Scotch project: purpose, algorithms, first results
Communication dans un congrès -
Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
PT-Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
Réalité Augmentée en extérieur : Enjeux et Etat de l'Art
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès