( en | de | ru )

 

Disambiguation of "de Groote, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
A French Version of the FraCaS Test Suite.

, , , , and . LREC, page 5887-5895. European Language Resources Association, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kim de Groote

Philippe de Roten

Philippe De Souza

Philippe De Lombaerde

Everhard Groote

 

Other publications of authors with the same name

An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets.. Theor. Comput. Sci., 224 (1-2): 115-134 (1999)On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions.. Inf. Comput., 178 (2): 441-464 (2002)On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.. LPAR, volume 822 of Lecture Notes in Computer Science, page 31-43. Springer, (1994)A Type-Logical Account of Quantification in Event Semantics., and . JSAI-isAI Workshops, volume 9067 of Lecture Notes in Computer Science, page 53-65. Springer, (2014)Strong Normalization of Classical Natural Deduction with Disjunction.. TLCA, volume 2044 of Lecture Notes in Computer Science, page 182-196. Springer, (2001)On the Complexity of Higher-Order Matching in the Linear lambda-Calculus., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 234-245. Springer, (2003)Quantification Annotation in ISO 24617-12, Second Draft., , , , , , , , , and 2 other author(s). LREC, page 3407-3416. European Language Resources Association, (2022)A French Version of the FraCaS Test Suite., , , , and . LREC, page 5887-5895. European Language Resources Association, (2020)The Non-Associative Lambek Calculus with Product in Polynomial Time.. TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 128-139. Springer, (1999)Linear Logic with Isabelle: Pruning the Proof Search Tree.. TABLEAUX, volume 918 of Lecture Notes in Computer Science, page 263-277. Springer, (1995)