The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Philippe de Groote: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippe de Groote
    Towards Abstract Categorial Grammars. [Citation Graph (0, 0)][DBLP]
    ACL, 2001, pp:148-155 [Conf]
  2. Philippe de Groote
    A CPS-Translation of the Lambda-µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:85-99 [Conf]
  3. Philippe de Groote
    A dynamic programming approach to categorial deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:1-15 [Conf]
  4. Philippe de Groote, Sylvain Salvati
    Higher-Order Matching in the Linear lambda-calculus with Pairing. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:220-234 [Conf]
  5. Denis Bechet, Philippe de Groote
    Constructing Different Phonological Bracketings from a Proof Net. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:118-133 [Conf]
  6. Philippe de Groote
    Denotations for Classical Proofs - Preliminary Results. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:105-116 [Conf]
  7. Philippe de Groote
    Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:142-152 [Conf]
  8. Philippe de Groote
    An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:130-140 [Conf]
  9. Philippe de Groote, Bruno Guillaume, Sylvain Salvati
    Vector Addition Tree Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:64-73 [Conf]
  10. Philippe de Groote
    Proof-Search in Implicative Linear Logic as a Matching Problem. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:257-274 [Conf]
  11. Philippe de Groote
    On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:31-43 [Conf]
  12. Denis Bechet, Philippe de Groote, Christian Retoré
    A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. [Citation Graph (0, 0)][DBLP]
    RTA, 1997, pp:230-240 [Conf]
  13. Philippe de Groote
    Linear Higher-Order Matching Is NP-Complete. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:127-140 [Conf]
  14. Philippe de Groote
    On the Strong Normalisation of Natural Deduction with Permutation-Conversions. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:45-59 [Conf]
  15. Sylvain Salvati, Philippe de Groote
    On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:234-245 [Conf]
  16. Philippe de Groote
    Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:712-723 [Conf]
  17. Philippe de Groote
    Linear Logic with Isabelle: Pruning the Proof Search Tree. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:263-277 [Conf]
  18. Philippe de Groote
    The Non-Associative Lambek Calculus with Product in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:128-139 [Conf]
  19. Philippe de Groote
    Strong Normalization of Classical Natural Deduction with Disjunction. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:182-196 [Conf]
  20. Philippe de Groote
    The Conservation Theorem revisited. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:163-178 [Conf]
  21. Philippe de Groote
    A Simple Calculus of Exception Handling. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:201-215 [Conf]
  22. Guillaume Bonfante, Philippe de Groote
    Stochastic Lambek Categorial Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:53, n:, pp:- [Journal]
  23. 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]
  24. Philippe de Groote
    On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:2, pp:441-464 [Journal]
  25. Philippe de Groote, Sylvain Pogodalla
    On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:4, pp:421-438 [Journal]
  26. Philippe de Groote
    An environment machine for the lambda-mu-calculus. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:637-669 [Journal]
  27. Philippe de Groote, François Lamarche
    Classical Non-Associative Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:355-388 [Journal]
  28. Philippe de Groote
    An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:115-134 [Journal]
  29. Philippe de Groote, Sarah Maarek, Ryo Yoshinaka
    On Two Extensions of Abstract Categorial Grammars. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:273-287 [Conf]

  30. On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.027secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002