dblp.uni-trier.dewww.uni-trier.de

Guy Perrier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Guillaume Bonfante [14]
2Didier Galmiche [1] [2] [3] [4]
3Philippe de Groote [8]
4Bruno Guillaume [15]
5François Lamarche [11]
6Alain Lecomte [11]
7Joseph Le Roux [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)