2008 |
15 | EE | Bruno Guillaume,
Guy Perrier:
Interaction Grammars
CoRR abs/0809.0494: (2008) |
2006 |
14 | EE | Guillaume Bonfante,
Joseph Le Roux,
Guy Perrier:
Lexical Disambiguation with Polarities and Automata.
CIAA 2006: 283-284 |
2001 |
13 | EE | Guy Perrier:
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.
LPAR 2001: 233-248 |
2000 |
12 | EE | 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 | EE | Guy Perrier:
Labelled Proof Nets for the Syntax and Semantics of Natural Languages.
Logic Journal of the IGPL 7(5): 629-654 (1999) |
9 | EE | 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 | EE | 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 |