FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Problème terminaison »
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.
Problème sélection < Problème terminaison < Problème universalité  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000356 (2006) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost sure termination under strategies
000449 (2005) Clara Bertolissi [France]The graph rewriting calculus : Confluence and expressiveness
000462 (2005) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France]Quasi-interpretations and small space bounds
000463 (2005) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost-sure termination
000468 (2005) Carlos Areces [France] ; Daniel Gorin [Argentine]Ordered resolution with selection for H(@)
000473 (2005) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]On a rewriting approach to satisfiability procedures : Extension, combination of theories and an experimental appraisal
000504 (2005) Frédéric Blanqui [France]Decidability of type-checking in the calculus of algebraic constructions with size annotations
000527 (2005) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A proof of weak termination providing the right way to terminate
000613 (2004) Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France]Discovering workflow transactional behavior from event-based log
000633 (2004) Frédéric Blanqui [France]A type-based termination criterion for dependently-typed higher-order rewrite systems
000B55 (1998) H. Touzet [France]Encoding the Hydra battle as a rewrite system
000C06 (1997) T. Genet [France] ; I. Gnaedig [France]Termination proofs using gpo ordering constraints
000D59 (1991) J. Rouyer [France]Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm

List of associated Author.i

Nombre de
documents		Descripteur
2Florent Garnier
2Frédéric Blanqui
2Olivier Bournez
1Alessandro Armando
1Carlos Areces
1Clara Bertolissi
1Claude Godart
1Daniel Gorin
1Guillaume Bonfante
1H. Touzet
1Hélène Kirchner
1I. Gnaedig
1Isabelle Gnaedig
1J. Rouyer
1Jean-Yves Marion
1Jean-Yves Moyen
1Maria Paola Bonacina
1Olivier Fissore
1Sami Bhiri
1Silvio Ranise
1Stephan Schulz
1T. Genet
1Walid Gaaloul

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/FC03.fr.i -k "Problème terminaison" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Problème terminaison" \
         | 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=    FC03.fr.i
   |clé=    Problème terminaison
}}
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