- On Proof Normalization in Linear Logic \Lambda Didier Galmiche and Guy Perrier
- IUT D'Epinal, d epartement OGP Ecole doctorale IAE + M D epartement de formation doctorale en informatique
- Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
- TALN 2006, Leuven, 1013 avril 2006 Extraction d'information de sous-catgorisation partir du
- La smantique dans les grammaires d'interaction
- An Interaction Grammar of interrogative and relative clauses in French
- Foundations of Proof Search Strategies Design in Linear Logic D. Galmiche and G. Perrier
- Analyse syntaxique lectrostatique Guillaume Bonfante --Bruno Guillaume --Guy Perrier
- Labelled Proof Nets for the Syntax and Semantics of Natural
- A Note on Kobayashi's and Yonezawa's Asynchronous Communication Model Based on
- Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
- A PSPACEcomplete fragment of Second Order Linear Logic
- Modlisation de la coordination dans les grammaires d'interaction
- Interaction Grammars Guy Perrier
- A procedure for automatic proof nets construction Didier GALMICHE and Guy PERRIER
- Math. Struct. in Comp. Science (1997), vol. 00, pp. 1--50 Copyright c fl Cambridge University Press
- Workshop TAG+5, Paris, 2527 May 2000 From Intuitionistic Proof Nets
- TALN 2004, Fs, 1921 avril 2004 La smantique dans les grammaires d'interaction
- Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
- TALN 2009 Session posters , Senlis, 2426 juin 2009 Analyse en dpendances l'aide des grammaires
- Research on Language and Computation 00: 142, 2008. c 2008 Springer Science+Business Media, Inc. Manufactured in The Netherlands.
