 | 2003 |
|---|
| 12 |       | Christian Retoré:
Handsome proof-nets: perfect matchings and cographs.
Theor. Comput. Sci. 294(3): 473-488 (2003) |
| 2001 |
|---|
| 11 | | Philippe de Groote,
Glyn Morrill,
Christian Retoré:
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
Springer 2001 |
| 10 |  | Alain Lecomte,
Christian Retoré:
Extending Lambek Grammars: a Logical Account of Minimalist Grammars.
ACL 2001: 354-361 |
| 9 | | Christian Retoré:
Recent Issues in Categorial Grammar.
ACL (Companion Volume) 2001: 3 |
| 1998 |
|---|
| 8 | | Christian Retoré:
Introduction.
Journal of Logic, Language and Information 7(4): 395-398 (1998) |
| 1997 |
|---|
| 7 | | Christian Retoré:
Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers
Springer 1997 |
| 6 | | Denis Béchet,
Philippe de Groote,
Christian Retoré:
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.
RTA 1997: 230-240 |
| 5 | | Christian Retoré,
Pomset Logic:
A Non-commutative Extension of Classical Linear Logic.
TLCA 1997: 300-318 |
| 4 | | Christian Retoré:
A Semantic Characterisation of the Correctness of a Proof Net.
Mathematical Structures in Computer Science 7(5): 445-452 (1997) |
| 1996 |
|---|
| 3 | | Patrick Blackburn,
Marc Dymetman,
Alain Lecomte,
Aarne Ranta,
Christian Retoré,
Eric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction.
LACL 1996: 1-20 |
| 2 | | Christian Retoré:
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 1 | | Arnaud Fleury,
Christian Retoré:
The Mix Rule.
Mathematical Structures in Computer Science 4(2): 273-285 (1994) |
