( en | de | ru )

 

Disambiguation of "de Groote, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
Constructing Different Phonological Bracketings from a Proof Net.

, and . LACL, volume 1328 of Lecture Notes in Computer Science, page 118-133. Springer, (1996)

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

Harald Groote

 

Other publications of authors with the same name

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)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)Strong Normalization of Classical Natural Deduction with Disjunction.. TLCA, volume 2044 of Lecture Notes in Computer Science, page 182-196. Springer, (2001)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 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)A French Version of the FraCaS Test Suite., , , , and . LREC, page 5887-5895. European Language Resources Association, (2020)Quantification Annotation in ISO 24617-12, Second Draft., , , , , , , , , and 2 other author(s). LREC, page 3407-3416. European Language Resources Association, (2022)An environment machine for the lambda-mu-calculus.. Math. Struct. Comput. Sci., 8 (6): 637-669 (1998)Strong Normalization in a Non-Deterministic Typed Lambda-Calculus.. LFCS, volume 813 of Lecture Notes in Computer Science, page 142-152. Springer, (1994)