Travelled to:1 × Finland
1 × The Netherlands
2 × Italy
2 × Poland
2 × Spain
2 × United Kingdom
Collaborated with:∅ S.Salvati B.Guillaume D.Béchet C.Retoré
Talks about:order (4) calculus (3) linear (3) higher (3) deduct (3) match (3) complet (2) strong (2) natur (2) axiomatis (1)
Person: Philippe de Groote
DBLP: Groote:Philippe_de
Facilitated 1 volumes:
EdContributed to:
2004
2004
200320012000
19991999199719951993Wrote 10 papers:
- CSL-2004-GrooteS #higher-order #linear #λ-calculus
- Higher-Order Matching in the Linear λ-calculus with Pairing (PdG, SS), pp. 220–234.
- LICS-2004-GrooteGS #automaton
- Vector Addition Tree Automata (PdG, BG, SS), pp. 64–73.
- RTA-2003-SalvatiG #complexity #higher-order #linear #on the #λ-calculus
- On the Complexity of Higher-Order Matching in the Linear λ-Calculus (SS, PdG), pp. 234–245.
- TLCA-2001-Groote #deduction #normalisation
- Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.
- RTA-2000-Groote #higher-order #linear
- Linear Higher-Order Matching Is NP-Complete (PdG), pp. 127–140.
- CADE-1999-Groote #approach #deduction #programming
- A dynamic programming approach to categorial deduction (PdG), pp. 1–15.
- RTA-1999-Groote #deduction #normalisation #on the
- On the Strong Normalisation of Natural Deduction with Permutation-Conversions (PdG), pp. 45–59.
- RTA-1997-BechetGR #axiom #partial order
- A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders (DB, PdG, CR), pp. 230–240.
- TLCA-1995-Groote #calculus #exception
- A Simple Calculus of Exception Handling (PdG), pp. 201–215.
- TLCA-1993-Groote #revisited #theorem
- The Conservation Theorem revisited (PdG), pp. 163–178.