Guy Louchard < Guy Perrier < Guy Pujolle

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 65.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000210 (2006)	Guy Perrier	A French Interaction Grammar
000211 (2007-09)	Guy Perrier	A French Interaction Grammar
000376 (1999)	Guy Perrier	A PSPACE-complete fragment of second-order linear logic
000547 (2008-08)	Bruno Guillaume ; Joseph Le Roux ; Jonathan Marchand ; Guy Perrier ; Karën Fort ; Jennifer Planul	A Toolchain for Grammarians
000798 (1998)	Philippe De Groote ; Guy Perrier	A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''
000830 (1992)	Didier Galmiche ; Guy Perrier	A procedure for automatic proof nets construction
000D16 (2009-09-14)	Guy Perrier	An Interaction Grammar of interrogative and relative clauses in French
001819 (1998)	Guy Perrier	Concurrent Programming as Proof Net Construction
001971 (1998)	Guy Perrier	Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
001B30 (2014-05-26)	Marie Candito ; Guy Perrier ; Bruno Guillaume ; Corentin Ribeyre ; Karën Fort ; Djamé Seddah ; Éric Villemonte De La Clergerie	Deep Syntax Annotation of the Sequoia French Treebank
001B57 (2015)	Bruno Guillaume ; Guy Perrier	Dependency Parsing with Graph Rewriting
002183 (2005)	Claire Gardent ; Bruno Guillaume ; Guy Perrier ; Ingrid Falk	Extracting subcategorisation information from Maurice Gross' grammar lexicon
002207 (2014-12-22)	Guy Perrier	FRIGRAM: a French Interaction Grammar
002208 (2013-08-12)	Guy Perrier ; Bruno Guillaume	FRIGRAM: a French Interaction Grammar
002424 (1994)	Didier Galmiche ; Guy Perrier	Foundations of Proof Search Strategies Design in Linear Logic
002444 (2015)	Guy Perrier ; Bruno Guillaume	Frigram: a French Interaction Grammar
002456 (2008)	Guy Perrier	From Graphs to Logic for representing the semantics of natural languages
002459 (1999)	Guy Perrier	From Intuitionistic Proof Nets to Interaction Grammars
002460 (2000)	Guy Perrier	From Intuitionistic Proof Nets to Interaction Grammars
002466 (1995-01-25)	Guy Perrier	From Proof Construction to Concurrent Programming in Linear Logic
002472 (2009)	Guy Perrier ; Mathieu Morey ; Maxime Amblard	From Semantic Graphs to Logic Formulae

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Guy Perrier" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |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