Searching for authors named "Guy Perrier" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
