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.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000016 (2004) Frédéric Blanqui [France]A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000074 (2005) Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]Ordered Resolution with Selection for $\mathcal{H}(@)$
000098 (2007) Claude Marché [France] ; Hans Zantema [Pays-Bas]The Termination Competition
000100 (1998) Carlos Castro [France]COLETTE, prototyping CSP solvers using a rule-based language
000127 (2000) Alessandro Armando [Italie] ; Silvio Ranise [Italie]Termination of Constraint Contextual Rewriting
000130 (1999) Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon]Transforming Context-Sensitive Rewrite Systems
000131 (2001) Michael Rusinowitch [France]Rewriting for Deduction and Verification
000192 (1990) Pierre Lescanne [France]On the recursive decomposition ordering with lexicographical status and other related orderings
000198 (2004) Roberto M. Amadio [France] ; Solange Coupet-Grimal [France] ; Silvano Dal Zilio [France] ; Line Jakubiec [France]A Functional Scenario for Bytecode Verification of Resource Bounds
000299 (1992) Didier Galmiche [France] ; Guy Perrier [France]Automated deduction in additive and multiplicative linear logic
000398 (1998) M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde]Transformational methodology for proving termination of logic programs
000520 (2012) Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]Multi-Completion with Termination Tools
000524 (2009) Johannes Waldmann [Allemagne]Automatic Termination
000535 (2001) J.-Y. Moyen [France]System Presentation
000673 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
000676 (1995) Pierre Lescanne [France]Termination of rewrite systems by elementary interpretations
000824 (1998) Hélène Touzet [France]Encoding the hydra battle as a rewrite system
000846 (2005) Clara Bertolissi [France]The Graph Rewriting Calculus: Confluence and Expressiveness
000869 (1998) Hélène Touzet [France]A complex example of a simplifying rewrite system
000880 (2013) Mohamed Rouane-Hacene [Canada] ; Marianne Huchard [France] ; Amedeo Napoli [France] ; Petko Valtchev [Canada]Relational concept analysis: mining concept lattices from multi-relational data
000894 (1990) Françoise Bellegarde [États-Unis] ; Pierre Lescanne [France]Termination by completion

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