gross < ground < grounding

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 ground

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

Ident.	Authors (with country if any)	Title
000D39 (2014)	Xavier Antoine [France] ; Romain Duboscq [France]	Robust and Efficient Preconditioned Krylov Spectral Solvers for Computing the Ground States of Fast Rotating and Strongly Interacting Bose-Einstein Condensates
001614 (2013)	Bart Lamiroy [France] ; Tao Sun [États-Unis]	Computing Precision and Recall with Missing or Uncertain Ground Truth
002125 (2011-09-15)	Bart Lamiroy [France] ; Tao Sun [États-Unis]	Precision and Recall Without Ground Truth
003C61 (2009)	Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Modeling reducibility on ground terms using constraints
004007 (2008-05-19)	Eduardo Martin Moraud [France] ; Joshua G. Hale [Japon] ; Gordon Cheng [Japon]	Constraint-based Ground contact handling in Humanoid Robotics Simulation
004542 (2008)	Yannick Chevalier [France] ; Mounira Kourjieh [France]	On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
006C21 (2004)	Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis]	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure
006C27 (2004)	Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis]	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems
006C55 (2004)	Bernd Löchner [Allemagne]	A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting
007441 (2003)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Outermost ground termination
007827 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
008580 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination - Extended version
008622 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
008A91 (2002)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Outermost ground termination
008A92 (2002)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Outermost ground termination - Extended version
008F59 (2001)	Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore	Induction for innermost and outermost ground termination
009270 (2001)	Dieter Hofbauer [États-Unis]	Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity
009639 (2001)	Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France]	Induction for innermost and outermost ground termination
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
00A814 (1999)	Hubert Comon ; Florent Jacquemard	Ground Reducibility is EXPTIME-complete

---

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

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

---

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