The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guy Perrier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guy Perrier
    Interaction Grammars. [Citation Graph (0, 0)][DBLP]
    COLING, 2000, pp:600-606 [Conf]
  2. Guy Perrier
    A Decidable Fragment of Second Order Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:312-322 [Conf]
  3. Didier Galmiche, Guy Perrier
    Automated Deduction in Additive and Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:151-162 [Conf]
  4. Didier Galmiche, Guy Perrier
    Foundations of Proof Search Strategies Design in Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:101-113 [Conf]
  5. Didier Galmiche, Guy Perrier
    A Procedure for Automatic Proof Nets Construction. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:42-53 [Conf]
  6. Guy Perrier
    Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:233-248 [Conf]
  7. Guillaume Bonfante, Joseph Le Roux, Guy Perrier
    Lexical Disambiguation with Polarities and Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:283-284 [Conf]
  8. Philippe de Groote, Guy Perrier
    A Note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:2, pp:160-170 [Journal]
  9. Guy Perrier
    Labelled Proof Nets for the Syntax and Semantics of Natural Languages. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:5, pp:629-654 [Journal]
  10. Guy Perrier
    Concurrent programming as proof net construction. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:681-710 [Journal]
  11. Didier Galmiche, Guy Perrier
    On Proof Normalization in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:67-110 [Journal]
  12. Guy Perrier
    Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:353-354 [Journal]
  13. Guy Perrier
    A PSPACE-complete Fragment of Second-order Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:267-289 [Journal]

  14. A Toolchain for Grammarians. [Citation Graph (, )][DBLP]


  15. Interaction Grammars [Citation Graph (, )][DBLP]


  16. Analyse en dépendances à l'aide des grammaires d'interaction [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002