Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Christian Retoré »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Christian Retore < Christian Retoré < Christian Robl  Facettes :

List of bibliographic references indexed by Christian Retoré

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]
Ident.Authors (with country if any)Title
000A98 (2014-06-18) Maxime Amblard [France] ; Christian Retoré [France]Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
002514 (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
002940 (2010-12) Maxime Amblard [France] ; Alain Lecomte [France] ; Christian Retoré [France]Categorial Minimalist Grammar: From Generative Syntax To Logical Form
004739 (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
005183 (2006-03-09) Maxime Amblard [France] ; Greg Kobele [États-Unis] ; Christian Retoré [France]Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues
006673 (2004-01-12) Maxime Amblard [France] ; Alain Lecomte [France] ; Christian Retoré [France]Syntax and Semantics interacting in a Minimalist theory
006F97 (2004) Sylvain Pogodalla [France] ; Christian Retoré [France]Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
009036 (2001) Philippe De Groote ; Glyn Morrill ; Christian RetoréLogical Aspects of Computational Linguistics
009628 (2001) Philippe De Groote [France] ; Glyn Morrill ; Christian RetoréLogical Aspects of Computational Linguistics
00B066 (1998) François Lamarche ; Christian RetoréProof Nets for the Lambek Calculus - an overview
00B139 (1998) Alain Lecomte ; Christian RetoréWords as modules : a lexicalised grammar in the framework of linear logic proof nets.
00B355 (1998) Christian Retoré [France]Introduction
00B540 (1998) Alain Lecomte [France] ; Christian RetoréWords as modules: a lexicalised grammar in the framework of linear logic proof nets.
00B599 (1998) François Lamarche [France] ; Christian RetoréProof Nets for the Lambek Calculus - an overview
00B777 (1997) Alain Lecomte ; Christian RetoréLogique des ressources et réseaux syntaxiques
00B900 (1997) Christian RetoréPomset logic : a non commutative extension of classical linear logic
00B921 (1997) Patrick Blackburn ; Marc Dymetman ; Alain Lecomte ; Aarne Ranta ; Christian RetoréLogical Aspects of Computational Linguistics : an introduction
00BA23 (1997) Denis Bechet ; Philippe De Groote ; Christian RetoréA complete axiomatisation of the inclusion of series-parallel partial orders
00BA46 (1997) Christian RetoréLogical Aspects of Computational Linguistics, LACL'96, Selected Papers
00BB58 (1997) Christian Retoré [France]A semantic characterisation of the correctness of a proof net
00BC24 (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/Exploration

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

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

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

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

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