decentralized < decidability < decidable

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by decidability

Number of relevant bibliographic references: 39.
[20-40] [0 - 20][0 - 39]

Ident.	Authors (with country if any)	Title
004D00 (2007)	Christopher Lynch [États-Unis] ; Duc-Khanh Tran [France]	Automatic Decidability and Combinability Revisited
005053 (2006-08)	Véronique Cortier [France] ; Graham Steel [Royaume-Uni]	On the Decidability of a Class of XOR-based Key-management APIs
005510 (2006)	Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]	Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
005614 (2006)	Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]	Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures
005627 (2006)	Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]	A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
005D07 (2005)	Frédéric Blanqui	Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
006271 (2005)	Frédéric Blanqui [France]	Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
006C57 (2004)	Franz Baader ; Silvio Ghilardi ; Cesare Tinelli [États-Unis]	A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics
009320 (2001)	N. Peltier [France]	On the decidability of the PVD class with equality
00AA18 (1999)	Takashi Nagaya [Japon] ; Yoshihito Toyama [Japon]	Decidability for Left-Linear Growing Term Rewriting Systems
00AA58 (1999)	Sébastien Limet [France] ; Pierre Réty [France]	A New Result about the Decidability of the Existential One-Step Rewriting Theory
00C495 (1995)	G. Kucherov ; M. Tajine	Decidability of Regularity and Related Properties of Ground Normal Form Languages
00C726 (1995)	Mads Dam [Suède]	On the decidability of process equivalences for the π-calculus
00C766 (1995)	G. Kucherov [France] ; M. Tajine [France]	Decidability of Regularity and Related Properties of Ground Normal Form Languages
00CF52 (1993)	Khaled Bsaïes ; F. Alexandre	The Unfolding Problem in Logic Program Transformation : Decidability Results
00D203 (1993)	Gregory Kucherov [France] ; Mohamed Tajine [France]	Decidability of regularity and related properties of ground normal form languages
00D477 (1992)	G. Kucherov ; M. Tajine	Decidability of Regularity and Related Properties of Ground Normal Form Languages
00DD32 (1990)	M. Dauchet ; T. Heuillard ; Pierre Lescanne [France] ; S. Tison	Decidability of the Confluence of Finite Ground Term Rewrite Systems and of other Related Term Rewrite Systems
00E516 (1987)	Pierre Lescanne [France] ; T. Heuillard ; M. Dauchet ; S. Tison	Decidability of the confluence of ground term rewriting systems

---

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 "decidability" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "decidability" \
         | 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é=    decidability
}}

---

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