Search the dblp DataBase

Publications of Author

1. Alain Lecomte, Christian Retoré
   Extending Lambek Grammars: a Logical Account of Minimalist Grammars. [Citation Graph (0, 0)][DBLP]
   ACL, 2001, pp:354-361 [Conf]
   
2. Christian Retoré
   Recent Issues in Categorial Grammar. [Citation Graph (0, 0)][DBLP]
   ACL (Companion Volume), 2001, pp:3- [Conf]
   
3. Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie
   Logical Aspects of Computational Linguistics: An Introduction. [Citation Graph (0, 0)][DBLP]
   LACL, 1996, pp:1-20 [Conf]
   
4. Denis Bechet, Philippe de Groote, Christian Retoré
   A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. [Citation Graph (0, 0)][DBLP]
   RTA, 1997, pp:230-240 [Conf]
   
5. Christian Retoré, Pomset Logic
   A Non-commutative Extension of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
   TLCA, 1997, pp:300-318 [Conf]
   
6. Christian Retoré
   Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
   
7. Christian Retoré
   Introduction. [Citation Graph (0, 0)][DBLP]
   Journal of Logic, Language and Information, 1998, v:7, n:4, pp:395-398 [Journal]
   
8. Arnaud Fleury, Christian Retoré
   The Mix Rule. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1994, v:4, n:2, pp:273-285 [Journal]
   
9. Christian Retoré
   A Semantic Characterisation of the Correctness of a Proof Net. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:445-452 [Journal]
   
10. Christian Retoré
    Handsome proof-nets: perfect matchings and cographs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:473-488 [Journal]