Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Philippe De Groote »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Philippe Collet < Philippe De Groote < Philippe Dosch  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
000559 (2004) Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France]Vector addition tree automata
000599 (2004) Philippe De Groote [France] ; Sylvain Salvati [France]Higher-order matching in the linear λ-calculus with pairing
000686 (2003) Sylvain Salvati [France] ; Philippe De Groote [France]On the complexity of higher-order matching in the linear λ-Calculus
000786 (2002) Philippe De Groote [France]On the strong normalisation of intuitionistic natural deduction with permutation-conversions
000875 (2001) Philippe De Groote [France]Towards abstract categorial grammars
000880 (2001) Philippe De Groote [France]Strong normalization of classical natural deduction with disjunction
000975 (2000) Philippe De Groote [France]Proof-search in implicative linear logic as a matching problem

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Logique linéaire
2Décidabilité
2Lambda calcul
2Logique intuitionniste
2Normalisation
2Théorie preuve
1Abstraction
1Algorithme recherche
1Arithmétique Heyting
1Atteignabilité
1Automate arbre
1Complexité
1Complétude
1Contexte
1Conversion
1Disjonction
1Déduction
1Déduction naturelle
1Forme normale
1Grammaire catégorielle
1Grammaire formelle
1Linguistique informatique
1Linguistique mathématique
1Logique exponentielle
1Logique multiplicative
1Logique ordre 1
1Logique propositionnelle
1Modélisation
1Permutation
1Programmation logique
1Réseau Pétri
1Réécriture
1Simulation
1Temps polynomial
1Translation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Philippe De Groote" 

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

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

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

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