| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Markus Egg, Laura Kallmeyer (eds.) |
Formal Grammar - 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers |
FG |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Ekaterina Lebedeva |
Presupposition Accommodation as Exception Handling. |
SIGDIAL Conference |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Sarah Maarek, Ryo Yoshinaka |
On Two Extensions of Abstract Categorial Grammars. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Sylvain Pogodalla |
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. |
Journal of Logic, Language and Information |
2004 |
DBLP DOI BibTeX RDF |
Abstract categorial grammars, lambda-calculus, context-free grammars, formal language theory |
| 1 | Philippe de Groote, Bruno Guillaume, Sylvain Salvati |
Vector Addition Tree Automata. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Sylvain Salvati |
Higher-Order Matching in the Linear lambda-calculus with Pairing. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Salvati, Philippe de Groote |
On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, François Lamarche |
Classical Non-Associative Lambek Calculus. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bonfante, Philippe de Groote |
Stochastic Lambek Categorial Grammars. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Glyn Morrill, Christian Retoré (eds.) |
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings |
LACL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote |
Strong Normalization of Classical Natural Deduction with Disjunction. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
Towards Abstract Categorial Grammars. |
ACL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote |
Proof-Search in Implicative Linear Logic as a Matching Problem. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
Linear Higher-Order Matching Is NP-Complete. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
A dynamic programming approach to categorial deduction. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
On the Strong Normalisation of Natural Deduction with Permutation-Conversions. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
The Non-Associative Lambek Calculus with Product in Polynomial Time. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Guy Perrier |
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
An environment machine for the lambda-mu-calculus. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote (eds.) |
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings |
TLCA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote |
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Philippe de Groote, Christian Retoré |
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Philippe de Groote |
Constructing Different Phonological Bracketings from a Proof Net. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
A Simple Calculus of Exception Handling. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
Linear Logic with Isabelle: Pruning the Proof Search Tree. |
TABLEAUX |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philippe de Groote |
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
A CPS-Translation of the Lambda-µ-Calculus. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
The Conservation Theorem revisited. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote |
Denotations for Classical Proofs - Preliminary Results. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")