complete < completeness < completing

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 completeness

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

Ident.	Authors (with country if any)	Title
000B18 (2014-06-02)	Dominique Larchey-Wendling [France]	The formal strong completeness of partial monoidal Boolean BI
000F00 (2013-12-11)	Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]	Hierarchic Superposition: Completeness without Compactness
001485 (2013)	Mohamed Rouane-Hacene [Canada] ; Marianne Huchard [France] ; Amedeo Napoli [France] ; Petko Valtchev [Canada]	Soundness and Completeness of Relational Concept Analysis
001618 (2013)	Abdelkader Kersani [France] ; Nicolas Peltier [France]	Completeness and Decidability Results for First-Order Clauses with Indices
001704 (2013)	Yì N. Wang [Norvège] ; Thomas Agotnes [Norvège]	Public announcement logic with distributed knowledge: expressivity, completeness and complexity
002E32 (2010-02)	Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
003100 (2010)	Camilo Rocha [États-Unis] ; José Meseguer [États-Unis]	Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
003728 (2009-01-03)	Carlos Areces [France] ; Sergio Mera ; Santiago Figueira	Completeness results for memory logics
003887 (2009)	Jakob Grue Simonsen [Danemark]	The $\Pi^0_2$-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
004598 (2008)	Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
007505 (2003)	Isabelle Gnaedig ; Hélène Kirchner	Innermost sufficient completeness
009095 (2001)	Jürgen Stuber	A Model-based Completeness Proof of Extended Narrowing And Resolution
009397 (2001)	Jürgen Stuber [France]	A Model-Based Completeness Proof of Extended Narrowing and Resolution
009710 (2001)	Jürgen Stuber [France]	A Model-based Completeness Proof of Extended Narrowing And Resolution
009711 (2001)	Jürgen Stuber [France]	A Model-based Completeness Proof of Extended Narrowing And Resolution
009F30 (2000)	Gilles Dowek [France]	Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
00A638 (1999)	Didier Galmiche ; Dominique Larchey-Wendling	From Ordered Monoids to Quantales and Petri Nets : Revised Semantics and Completeness Results in Intuitionistic Linear Logic
00A765 (1999)	Adel Bouhoula	Simultaneous Checking of Completeness and Ground Confluence
00A790 (1999)	Adel Bouhoula	A New Procedure for Simultaneously Checking Completeness and Ground Confluence
00AC32 (1999)	Adel Bouhoula [France]	Simultaneous Checking of Completeness and Ground Confluence
00AD06 (1999)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic

---

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

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

---

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