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 « Frédéric Blanqui »
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.
Frédéric Bimbot < Frédéric Blanqui < Frédéric Cao  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
000227 (2009) Keiichirou Kusakari [Japon] ; Yasuo Isogai [Japon] ; Masahiko Sakai [Japon] ; Frédéric Blanqui [France]Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems
000363 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the confluence of λ-calculus with conditional rewriting
000504 (2005) Frédéric Blanqui [France]Decidability of type-checking in the calculus of algebraic constructions with size annotations
000633 (2004) Frédéric Blanqui [France]A type-based termination criterion for dependently-typed higher-order rewrite systems

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Réécriture
2Langage ML
2Problème terminaison
2Rho calcul
2Système réécriture
1.
1Annotation
1Automatisation
1Calculabilité
1Confluence
1Décidabilité
1Démonstration automatique
1Développement logiciel
1Induction
1Lambda calcul
1Modularité
1Modélisation
1Orthogonalité
1Programmation logique
1Théorie type
1Traitement donnée
1Vérification programme

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 "Frédéric Blanqui" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Frédéric Blanqui" \
         | 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é=    Frédéric Blanqui
}}
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