Browsing Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 by subject "Informatique [cs]/Logique en informatique [cs.LO]"
Now showing items 1-18 of 18
-
Ellipse et coordination en grammaire logique
Communication dans un congrès -
Evénements et référence
(Epure, 2009-03)Chapitre d'ouvrage -
Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
(Recherches linguistiques de Vincennes. vol. 36, pp. 123--152, 2007-10-01)Article de revue -
Specimens: "most of" generic NPs in a contextually flexible type theory
Communication dans un congrès -
On the Membership Problem for Non-Linear Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 163-183, 2010-04)Article de revue -
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 -
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 185--200, 2010-04)Article de revue -
Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
Communication dans un congrès -
Proof nets without links for Lambek calculus and partially commutative linear logic
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès -
Model Checking AllTL Properties for Set Automata
Communication dans un congrès -
Krivine machines and higher-order schemes
Communication dans un congrès -
On the system F as a glue language for natural-language compositional-semantics
(2011-08-24)Document de travail - Pré-publication -
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
(Springer, 2011)Ouvrage -
Compact Labelings For Efficient First-Order Model-Checking
(Journal of Combinatorial Optimization. vol. 21, n° 1, pp. 19--46, 2011-01-07)Article de revue -
Semantics in Minimalist Categorial Grammar
Communication dans un congrès