Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - 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 indexed by termination

Number of relevant bibliographic references: 160.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000077 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000078 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000D53 (2014) Vivien Denis [France] ; Adrien Pelat [France] ; François Gautier [France] ; Benjamin Elie [France]Modal Overlap Factor of a beam with an acoustic black hole termination
001150 (2013-06-24) Małgorzata Biernacka ; Dariusz Biernacki ; Sergueï Lenglet [France] ; Marek MaterzokProving termination of evaluation for System F with control operators
001289 (2013-03) Guillaume Bonfante [France] ; Bruno Guillaume [France]Non-simplifying Graph Rewriting Termination
001470 (2013) Takahito Aoto [Japon] ; Munehiro Iwami [Japon]Termination of Rule-Based Calculi for Uniform Semi-Unification
001E16 (2012) Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon]Multi-Completion with Termination Tools
002306 (2011-06-14) Cody Roux [France]Size-based termination: Semantics and generalizations
002647 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
002662 (2011) Christophe Ringeissen [France] ; Valerio Senni [France]Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
002776 (2011) Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche]AC Completion with Termination Tools
003030 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
003144 (2010) Aleksandar DimovskiA Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs
003413 (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
003743 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of Rewriting under Strategies
003888 (2009) Isabelle Gnaedig [France]Termination of Priority Rewriting
003889 (2009) Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis]Termination Modulo Combinations of Equational Theories
003920 (2009) Frédéric Blanqui [République populaire de Chine, France] ; Cody Roux [France]On the Relation between Sized-Types Based Termination and Semantic Labelling
003996 (2009) Johannes Waldmann [Allemagne]Automatic Termination
004354 (2008) María Alpuente [Espagne] ; Santiago Escobar [Espagne] ; José Iborra [Espagne]Modular Termination of Basic Narrowing
004517 (2008) Isabelle Gnaedig [France]Termination of Priority Rewriting

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "termination" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "termination" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

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