Christian Retore < Christian Retoré < Christian Robl

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000B02 (2014-06-18)	Maxime Amblard [France] ; Christian Retoré [France]	Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
002557 (2011)	Sylvain Pogodalla [France] ; Myriam Quatrini [France] ; Christian Retoré [France]	Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
002A07 (2010-12)	Maxime Amblard [France] ; Alain Lecomte [France] ; Christian Retoré [France]	Categorial Minimalist Grammar: From Generative Syntax To Logical Form
004887 (2007-09-17)	Maxime Amblard [France] ; Christian Retoré [France]	Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
005349 (2006-03-09)	Maxime Amblard [France] ; Greg Kobele [États-Unis] ; Christian Retoré [France]	Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues
006A07 (2004-01-12)	Maxime Amblard [France] ; Alain Lecomte [France] ; Christian Retoré [France]	Syntax and Semantics interacting in a Minimalist theory
007380 (2004)	Sylvain Pogodalla [France] ; Christian Retoré [France]	Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
009557 (2001)	Philippe De Groote ; Glyn Morrill ; Christian Retoré	Logical Aspects of Computational Linguistics
009C06 (2001)	Philippe De Groote [France] ; Glyn Morrill ; Christian Retoré	Logical Aspects of Computational Linguistics
00B787 (1998)	François Lamarche ; Christian Retoré	Proof Nets for the Lambek Calculus - an overview
00B860 (1998)	Alain Lecomte ; Christian Retoré	Words as modules : a lexicalised grammar in the framework of linear logic proof nets.
00BA77 (1998)	Christian Retoré [France]	Introduction
00BC98 (1998)	Alain Lecomte [France] ; Christian Retoré	Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
00BD63 (1998)	François Lamarche [France] ; Christian Retoré	Proof Nets for the Lambek Calculus - an overview
00BF54 (1997)	Alain Lecomte ; Christian Retoré	Logique des ressources et réseaux syntaxiques
00C077 (1997)	Christian Retoré	Pomset logic : a non commutative extension of classical linear logic
00C098 (1997)	Patrick Blackburn ; Marc Dymetman ; Alain Lecomte ; Aarne Ranta ; Christian Retoré	Logical Aspects of Computational Linguistics : an introduction
00C200 (1997)	Denis Bechet ; Philippe De Groote ; Christian Retoré	A complete axiomatisation of the inclusion of series-parallel partial orders
00C223 (1997)	Christian Retoré	Logical Aspects of Computational Linguistics, LACL'96, Selected Papers
00C335 (1997)	Christian Retoré [France]	A semantic characterisation of the correctness of a proof net
00C402 (1997)	Christian Retoré [France]	Pomset logic: A non-commutative extension of classical linear logic

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Christian Retoré" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "Christian Retoré" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    Christian Retoré
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022