Searching for authors named "Guy Perrier" – sorted by Relevance.
-
Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic"
- Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic" Guy Perrier CRIN
- Add To MetaCart
-
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
- Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions Guy
- Cited by 3 (0 self) – Add To MetaCart
-
Interaction grammars
- A French Interaction Grammar Guy Perrier LORIA - université Nancy 2 BP 239 54506 Vandœuvre
- Cited by 17 (4 self) – Add To MetaCart
-
Parsing with polarities
- Parsing with polarities Guy Perrier LORIA, Université Nancy2 Abstract Interaction Grammars are a
- Add To MetaCart
-
From Intuitionistic Proof Nets to Interaction Grammars
- Workshop TAG+5, Paris, 25-27 May 2000 From Intuitionistic Proof Nets to Interaction Grammars Guy
- Add To MetaCart
-
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
- Labelled Proof Nets for the Syntax and Semantics of Natural Languages GUY PERRIER, LORIA
- Cited by 4 (0 self) – Add To MetaCart
-
Descriptions d'arbres avec polarités: les Grammaires d'Interaction
- 'Interaction Guy Perrier LORIA, CNRS BP 239 54506 Vandoeuvre-ls-Nancy Cedex France perrier@(email omitted); Mots
- Cited by 3 (0 self) – Add To MetaCart
-
Maurice gross’ grammar lexicon and natural language processing
- ♠ , Guy Perrier ♥ , Ingrid Falk ♣ ♦ CNRS/LORIA ♠ INRIA/LORIA ♥ University Nancy 2/LORIA ♣ CNRS/ATILF Nancy
- Cited by 2 (1 self) – Add To MetaCart
-
CNRS/LORIA
- ♦ , Bruno Guillaume ♠ , Guy Perrier ♥ , Ingrid Falk ♣ ♦ CNRS/LORIA ♠ INRIA/LORIA ♥ University Nancy 2/LORIA
- Add To MetaCart
-
A Procedure for Automatic Proof Nets Construction
- A procedure for automatic proof nets construction ? Didier Galmiche and Guy Perrier CRIN - CNRS
- Cited by 10 (8 self) – Add To MetaCart

