Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

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 Blaise < Frédéric Blanqui < Frédéric Boudon  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000050 (2006) Frédéric Blanqui(HO)RPO Revisited
000A01 (2004) Frédéric BlanquiA type-based termination criterion for dependently-typed higher-order rewrite systems
001320 (2007-09-11) Frédéric Blanqui ; Jean-Pierre Jouannaud ; Pierre-Yves StrubBuilding Decision Procedures in the Calculus of Inductive Constructions
001512 (2006-08-15) Frédéric Blanqui ; Solange Coupet-Grimal ; William Delobel ; Sébastien Hinderer ; Adam KoprowskiCoLoR: a Coq library on rewriting and termination
001616 (2006-11-13) Frédéric Blanqui ; Colin RibaCombining typing and size constraints for checking the termination of higher-order conditional rewrite systems
001729 (2007-06-21) Frédéric BlanquiComputability Closure: Ten Years Later
001A86 (2005-08-22) Frédéric BlanquiDecidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
001B37 (2005) Frédéric BlanquiDefinitions by rewriting in the Calculus of Constructions
002485 (2008-09-08) Frédéric Blanqui ; Jean-Pierre Jouannaud ; Pierre-Yves StrubFrom formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
002709 (2007-10-15) Frédéric Blanqui ; Jean-Pierre Jouannaud ; Albert RubioHORPO with Computability Closure : A Reconstruction
002799 (2006-11-13) Frédéric Blanqui ; Jean-Pierre Jouannaud ; Albert RubioHigher-Order Termination: from Kruskal to Computability
002803 (2006-08-15) Frédéric BlanquiHigher-order dependency pairs
002A92 (2005) Frédéric BlanquiInductive types in the Calculus of Algebraic Constructions
003824 (2006-03-31) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the confluence of lambda-calculus with conditional rewriting
003838 (2007-03-24) Frédéric Blanqui ; Thérèse Hardin ; Pierre WeisOn the implementation of construction functions for non-free concrete data types
003858 (2009-09-07) Frédéric Blanqui ; Cody RouxOn the relation between sized-types based termination and semantic labelling
004C33 (2008-09-15) Frédéric Blanqui ; Jean-Pierre Jouannaud ; Albert RubioThe computability path ordering: the end of a quest
005A55 (2004) Frédéric BlanquiDéfinition de la classe de réécriture à intégrer
006362 (2004) Frédéric BlanquiProposition d'architecture du moteur de test de conversion
006376 (2004) Frédéric BlanquiPrototype d'extension du système Coq

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Frédéric Blanqui" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Frédéric Blanqui" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |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