AbsEn.i
Curation
Istex
Racine
Curation
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « AbsEn.i » - 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.
terminating < termination < terminological  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 135.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000894 (1990) Françoise Bellegarde [États-Unis] ; Pierre Lescanne [France]Termination by completion
000902 (1996) A. Geser [Allemagne]An Improved General Path Order
000954 (1989) Barbara Kass-Annese [États-Unis] ; Kathy Irene Kennedy [États-Unis] ; Katherine Forrest [États-Unis] ; Hal Danzer [États-Unis] ; Anthony Reading [États-Unis] ; Holly Hughes [États-Unis]A study of the vaginal contraceptive sponge used with and without the fertility awareness method
000A94 (2008) Jean-Louis Giavitto [France] ; Olivier Michel [France] ; Antoine Spicher [France]Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
000C09 (1996) E. A. Cichon [France] ; H. Touzet [France]An ordinal calculus for proving termination in term rewriting
000C41 (2000) Deepak Kapur [États-Unis] ; G. Sivakumar [Inde]Proving Associative-Commutative Termination Using RPO-Compatible Orderings
000D41 (1993) Eddy Bevers [Belgique] ; Johan Lewi [Belgique]Proving termination of (conditional) rewrite systems
000D48 (1996) M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Total termination of term rewriting
000D60 (2009) Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis]Termination Modulo Combinations of Equational Theories
000E35 (1982) Pierre LescanneSome properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems
000E91 (1993) M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Total termination of term rewriting
000F14 (2013) Joël Ouaknine [Royaume-Uni]Specification and Verification of Linear Dynamical Systems: Advances and Challenges
001003 (2007) Colin Riba [France]On the Stability by Union of Reducibility Candidates
001006 (2000) Hans Zantema ; Alfons Geser [États-Unis]A Complete Characterization of Termination of 0p 1q→ 1r 0s
001008 (2005) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A Proof of Weak Termination Providing the Right Way to Terminate
001048 (1991) Pierre Lescanne [France]Rewrite orderings and termination of rewrite systems
001062 (2007) Nachum Dershowitz [Israël] ; Georg Moser [Autriche]The Hydra Battle Revisited
001117 (1992) Pierre Lescanne [France]Termination of rewrite systems by elementary interpretations
001129 (2010) Guillaume Bonfante [France] ; Georg Moser [Autriche]Characterising Space Complexity Classes via Knuth-Bendix Orders
001211 (2004) Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis]Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure
001244 (1992) Adam Cichon [France] ; Pierre Lescanne [France]Polynomial interpretations and the complexity of algorithms

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "termination" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "termination" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.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