Guy Louchard < Guy Perrier < Guy-Marie Côme

Facettes : Author.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
000063 (2005)	Bruno Guillaume ; Guy Perrier	Interface lexique-grammaire via des structures de traits
000090 (2005)	Claire Gardent ; Bruno Guillaume ; Ingrid Falk ; Guy Perrier	Le lexique-grammaire de M. Gross et le traitement automatique des langues
000337 (2005)	Guy Perrier	La sémantique dans les grammaires d'interaction
000534 (2005)	Claire Gardent ; Bruno Guillaume ; Guy Perrier ; Ingrid Falk	Maurice Gross' Grammar Lexicon and Natural Language Processing
000654 (2004)	Guillaume Bonfante ; Bruno Guillaume ; Guy Perrier	Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
000756 (2004)	Guy Perrier	La sémantique dans les grammaires d'interaction
000924 (2003)	Guillaume Bonfante ; Bruno Guillaume ; Guy Perrier	Analyse syntaxique électrostatique
000A22 (2003)	Guy Perrier	Les grammaires d'interaction
000D26 (2003)	Guy Perrier	Semantics for Interaction Grammars
000E19 (2002)	Guy Perrier	Descriptions d'arbres avec polarités : les Grammaires d'Interaction
001217 (2002)	Guy Perrier	Modular and Hierarchical Organization of Lexicalized Grammars expressible with Tree Descriptions
001606 (2001)	Guy Perrier	Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
001A14 (2000)	Guy Perrier	From Intuitionistic Proof Nets to Interaction Grammars
001C25 (2000)	Guy Perrier	Interaction Grammars
001E67 (1999)	Guy Perrier	From Intuitionistic Proof Nets to Interaction Grammars
001F74 (1999)	Guy Perrier	Labelled Proof Nets for the Syntax and Semantics of Natural Languages
002020 (1999)	Guy Perrier	A PSPACE-complete fragment of second-order linear logic
002185 (1998)	Philippe De Groote ; Guy Perrier	A note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''
002252 (1998)	Guy Perrier	Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
002309 (1998)	Guy Perrier	Concurrent Programming as Proof Net Construction
002580 (1997)	Guy Perrier	A decidable fragment of Second Order Linear Logic

---

List of associated KwdEn.i

Nombre de documents	Descripteur
11	linear logic
5	computational linguistics
4	proof theory
3	grammatical formalisms
3	polarities
2	Concurrency
2	Concurrent programming
2	Linear logic
2	Logic programming
2	Process algebras
2	categorial grammar
2	formal grammar
2	formal semantics
2	grammatical formalism
2	natural language syntax
2	proof nets
1	Process calculus
1	Proof nets
1	automated deduction
1	categorial grammars
1	computational lingusitics
1	concurrency
1	formal grammars
1	lexical disambiguation
1	lexicon
1	linguistic formalism
1	natural language processing
1	parsing
1	process calculus
1	proof net
1	semantics
1	semantics of natural languages
1	synchronous communication
1	syntax
1	syntax of natural languages
1	theorem proving
1	tree description
1	unification grammars

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Guy Perrier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Guy Perrier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Guy Perrier
}}

---

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