Keywords
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « termination »
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.
terminal management < termination < termination ordering  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]
Ident.Authors (with country if any)Title
002138 (2010-12-13) Guillaume Hoffmann [France]Reasoning Tasks for Hybrid Logics
002A60 (2009-09-07) Frédéric Blanqui [République populaire de Chine] ; Cody Roux [France]On the relation between sized-types based termination and semantic labelling
002D16 (2009-04-02) Isabelle Gnaedig [France]Termination of Priority Rewriting
002E69 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of Rewriting under Strategies
003161 (2008-09-15) Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]The computability path ordering: the end of a quest
003535 (2008) Isabelle Gnaedig [France]Termination of Priority Rewriting
003536 (2008) Isabelle Gnaedig [France]Termination of Priority Rewriting - Extended version
003859 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
003E57 (2006-11-13) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]Higher-Order Termination: from Kruskal to Computability
003E58 (2006-11-13) Frédéric Blanqui [France] ; Colin Riba [France]Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems
003F66 (2006-08-15) Frédéric Blanqui [France]Higher-order dependency pairs
003F67 (2006-08-15) Frédéric Blanqui [France] ; Solange Coupet-Grimal [France] ; William Delobel [France] ; Sébastien Hinderer [France] ; Adam Koprowski [Pays-Bas]CoLoR: a Coq library on rewriting and termination
004274 (2006) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting under strategies: a generic approach
004449 (2006) Frédéric Blanqui [France](HO)RPO Revisited
004550 (2005-09) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of rewriting strategies: a generic approach
004575 (2005-08-22) Frédéric Blanqui [France]Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
004933 (2005) Frédéric Blanqui [France]Inductive types in the Calculus of Algebraic Constructions
004967 (2005) Frédéric Blanqui [France]Definitions by rewriting in the Calculus of Constructions
004F53 (2004) Frédéric Blanqui [France]A type-based termination criterion for dependently-typed higher-order rewrite systems
005497 (2003) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
005598 (2002-10) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]CARIBOO: An Induction Based Proof Tool for Termination with Strategies

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i -k "termination" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i  \
                -Sk "termination" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    termination
}}
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