Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Guy Perrier
2010 – today
- 2010
[i3]Jonathan Marchand, Bruno Guillaume, Guy Perrier: Motifs de graphe pour le calcul de dépendances syntaxiques complètes. CoRR abs/1011.4155 (2010)
2000 – 2009
- 2009
- [i2]Jonathan Marchand, Bruno Guillaume, Guy Perrier: Analyse en dépendances à l'aide des grammaires d'interaction. CoRR abs/0909.3444 (2009)
- 2008
- [c9]Bruno Guillaume, Joseph Le Roux, Jonathan Marchand, Guy Perrier, Karën Fort, Jennifer Planul: A Toolchain for Grammarians. COLING (Demos) 2008: 153-156
- [i1]
- 2006
- [c8]Guillaume Bonfante, Joseph Le Roux, Guy Perrier: Lexical Disambiguation with Polarities and Automata. CIAA 2006: 283-284
- 2004
- [c7]Guillaume Bonfante, Bruno Guillaume, Guy Perrier: Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation. COLING 2004
- 2001
- [c6]Guy Perrier: Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions. LPAR 2001: 233-248
- 2000
- [c5]
1990 – 1999
- 1999
- [j6]Guy Perrier: Labelled Proof Nets for the Syntax and Semantics of Natural Languages. Logic Journal of the IGPL 7(5): 629-654 (1999)
- [j5]Guy Perrier: A PSPACE-complete Fragment of Second-order Linear Logic. Theor. Comput. Sci. 224(1-2): 267-289 (1999)
- [e1]Alain Lecomte, François Lamarche, Guy Perrier (Eds.): Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers. Lecture Notes in Computer Science 1582, Springer 1999, ISBN 3-540-65751-7
- 1998
- [j4]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)
- [j3]Guy Perrier: Concurrent programming as proof net construction. Mathematical Structures in Computer Science 8(6): 681-710 (1998)
- [j2]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
- [c4]
- 1994
- [j1]Didier Galmiche, Guy Perrier: On Proof Normalization in Linear Logic. Theor. Comput. Sci. 135(1): 67-110 (1994)
- [c3]Didier Galmiche, Guy Perrier: Foundations of Proof Search Strategies Design in Linear Logic. LFCS 1994: 101-113
- 1992
- [c2]Didier Galmiche, Guy Perrier: Automated Deduction in Additive and Multiplicative Linear Logic. LFCS 1992: 151-162
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-05 19:42 CET by the dblp team