Philippe Daubias < Philippe De Groote < Philippe De Reffye

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 35.
[20-40] [0 - 20][0 - 35]

Ident.	Authors (with country if any)	Title
003864 (1999)	Philippe De Groote [France] ; Catherine Pilière [France]	On the semantics of static exception handling
003865 (2000)	Philippe De Groote [France] ; Catherine Pilière [France]	On the semantics of static exception handling
003881 (2007-10-15)	Philippe De Groote [France] ; Sarah Maarek [France] ; Ryo Yoshinaka	On two Extensions of Abstract Categorial Grammars
003C82 (2010-09)	Philippe De Groote [France] ; Ekaterina Lebedeva [France]	Presupposition Accommodation as Exception Handling
003D86 (2015)	Philippe De Groote [France]	Proof-Theoretic Aspects of the Lambek-Grishin Calculus
003D91 (2000)	Philippe De Groote [France]	Proof-search in implicative linear logic as a matching problem
004824 (2001)	Guillaume Bonfante [France] ; Philippe De Groote [France]	Stochastic Lambek Categorial Grammars
004B62 (1999-06)	Philippe De Groote [France]	The Non-associative Lambek calculus with product in polynomial time
004E79 (2001-07)	Philippe De Groote [France]	Towards abstract categorial grammars
005014 (2007-11-15)	Philippe De Groote [France] ; Sarah Maarek [France]	Type-theoretic extensions of Abstract Categorial Grammars
005458 (2003-06)	Philippe De Groote [France] ; Sylvain Pogodalla [France]	m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
006322 (1998)	Philippe De Groote [France] ; Catherine Pilière [France]	Preuve de confluence de $\lambda_{exn}$
006A39 (2013)	Philippe De Groote [France] ; Makoto Kanazawa	A Note on Intensionalization
006A73 (2002)	Philippe De Groote [France] ; François Lamarche [France]	Classical Non Associative Lambek Calculus
006C07 (2004)	Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France]	Vertor Addition Tree Automata

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Philippe De Groote" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Philippe De Groote" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Philippe De Groote
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022