ordered < ordering < orderings

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 ordering

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

Ident.	Authors (with country if any)	Title
000438 (2015-07-22)	Pascal Urso [France] ; Jordi Martori [France]	Probabilistic latency for partial ordering
000A21 (2014-07-23)	Jean-Charles Faugère [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France]	Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
001599 (2013)	Takahito Aoto [Japon]	Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
001A26 (2012-07-11)	Jean-Charles Faugère [France] ; Pierrick Gaudry [France] ; Louise Huot [France] ; Guénaël Renault [France]	Using Symmetries and Fast Change of Ordering in the Index Calculus for Elliptic Curves Discrete Logarithm
001C23 (2012-03)	Yannick Chevalier [France] ; Mounira Kourjieh [France]	Automated Synthesis of a Finite Complexity Ordering for Saturation
003E48 (2008-09-15)	Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]	The computability path ordering: the end of a quest
004297 (2008)	Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]	The Computability Path Ordering: The End of a Quest
004D20 (2007)	Stefan Grondelaers ; Dirk Speelman	A variationist account of constituent ordering in presentative sentences in Belgian Dutch
005129 (2006-05-14)	Smaïl Khouider [France] ; Thibaud Monteiro [France] ; Marie-Claude Portmann [France]	Collaborative model for customer request ordering: research and selection of substitute suppliers
005531 (2006)	Solange Coupet-Grimal [France] ; William Delobel [France]	An effective proof of the well-foundedness of the multiset path ordering
006C06 (2004)	Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]	Efficient Checking of Term Ordering Constraints
007761 (2003)	Ali Basiri ; Jean-Charles Faugere	Changing the ordering of Grobner Bases with LLL : Case of Two Variables
007E53 (2003)	Abdolali Basiri [France] ; Jean-Charles Faugère [France]	Changing the ordering of Gröbner Bases with LLL: Case of Two Variables
007E54 (2003)	Ali Basiri [France] ; Jean-Charles Faugère [France]	Changing the ordering of Grobner Bases with LLL: Case of Two Variables
008467 (2002)	Eitan Altman ; Bruno Gaujal ; Arie Hordijk	Regular Ordering and Applications in Control Policies
008754 (2002)	Eitan Altman [France] ; Bruno Gaujal [France] ; Arie Hordijk [Pays-Bas]	Regular Ordering and Applications in Control Policies
008A78 (2002)	Eitan Altman [France] ; Bruno Gaujal [France] ; Arie Hordijk	Regular Ordering and Applications in Control Policies
008F15 (2001)	Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves Moyen	On lexicographic termination ordering with space bound certifications
009323 (2001)	Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France]	On Lexicographic Termination Ordering with Space Bound Certifications
009611 (2001)	Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France]	On lexicographic termination ordering with space bound certifications
009753 (2000-09)	Adam Cichon [France] ; Jean-Yves Marion [France]	The Light Lexicographic path Ordering

---

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

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

---

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