 | 2009 |
|---|
| 16 |       | Jonathan Marchand,
Bruno Guillaume,
Guy Perrier:
Analyse en dépendances à l'aide des grammaires d'interaction
CoRR abs/0909.3444: (2009) |
| 2008 |
|---|
| 15 | | Bruno Guillaume,
Guy Perrier:
Interaction Grammars
CoRR abs/0809.0494: (2008) |
| 2006 |
|---|
| 14 | | Guillaume Bonfante,
Joseph Le Roux,
Guy Perrier:
Lexical Disambiguation with Polarities and Automata.
CIAA 2006: 283-284 |
| 2001 |
|---|
| 13 | | Guy Perrier:
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.
LPAR 2001: 233-248 |
| 2000 |
|---|
| 12 | | Guy Perrier:
Interaction Grammars.
COLING 2000: 600-606 |
| 1999 |
|---|
| 11 |  | Alain Lecomte,
François Lamarche,
Guy Perrier:
Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers
Springer 1999 |
| 10 | | Guy Perrier:
Labelled Proof Nets for the Syntax and Semantics of Natural Languages.
Logic Journal of the IGPL 7(5): 629-654 (1999) |
| 9 | | Guy Perrier:
A PSPACE-complete Fragment of Second-order Linear Logic.
Theor. Comput. Sci. 224(1-2): 267-289 (1999) |
| 1998 |
|---|
| 8 | | Philippe de Groote,
Guy Perrier:
A Note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''.
Formal Asp. Comput. 10(2): 160-170 (1998) |
| 7 | | Guy Perrier:
Concurrent programming as proof net construction.
Mathematical Structures in Computer Science 8(6): 681-710 (1998) |
| 6 | | Guy Perrier:
Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''.
Theor. Comput. Sci. 206(1-2): 353-354 (1998) |
| 1997 |
|---|
| 5 | | Guy Perrier:
A Decidable Fragment of Second Order Linear Logic.
LFCS 1997: 312-322 |
| 1994 |
|---|
| 4 | | Didier Galmiche,
Guy Perrier:
Foundations of Proof Search Strategies Design in Linear Logic.
LFCS 1994: 101-113 |
| 3 | | Didier Galmiche,
Guy Perrier:
On Proof Normalization in Linear Logic.
Theor. Comput. Sci. 135(1): 67-110 (1994) |
| 1992 |
|---|
| 2 | | Didier Galmiche,
Guy Perrier:
Automated Deduction in Additive and Multiplicative Linear Logic.
LFCS 1992: 151-162 |
| 1 | | Didier Galmiche,
Guy Perrier:
A Procedure for Automatic Proof Nets Construction.
LPAR 1992: 42-53 |
