Lemke institute < Lemma < Lemma algorithm

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 Lemma

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

Ident.	Authors (with country if any)	Title
004C77 (2007)	Francis Comets [France] ; François Delarue [France] ; René Schott [France]	Distributed algorithms in an ergodic Markovian environment
005386 (2006)	A. Derdzinski [États-Unis] ; G. Maschler [États-Unis]	Special Kähler-Ricci potentials on compact Kähler manifolds
009254 (2001)	Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
009264 (2001)	Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis	The Stability of Saturated Linear Dynamical Systems Is Undecidable
009320 (2001)	N. Peltier [France]	On the decidability of the PVD class with equality
009346 (2001)	N. Alaa [Maroc] ; I. Mounir [Colombie]	Global Existence for Reaction-Diffusion Systems with Mass Control and Critical Growth with Respect to the Gradient
009D11 (2000)	Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]	Specification and proof in membership equational logic
009D50 (2000)	Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis]	Efficient resource management for linear logic proof search
009E16 (2000)	Shay Kutten [Israël] ; Rafail Ostrovsky [Colombie] ; Boaz Patt-Shamir [Israël]	The Las-Vegas Processor Identity Problem (How and When to Be Unique)
009E27 (2000)	Reinhard Pichler	Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
009E33 (2000)	Hubert Comon [France]	Sequentiality, Monadic Second-Order Logic and Tree Automata
009E55 (2000)	Jordi Levy [Espagne] ; Margus Veanes [Colombie]	On the Undecidability of Second-Order Unification
009E81 (2000)	Hubert Comon [France] ; Robert Nieuwenhuis [Espagne]	Induction=I-Axiomatization+First-Order Consistency
00A837 (1999)	Roman Kolpakov [Russie] ; Gregory Kucherov [France] ; Yuri Tarannikov [Russie]	On repetition-free binary words of minimal density
00A857 (1999)	Philippe De Groote [France]	An algebraic correctness criterion for intuitionistic multiplicative proof-nets
00B239 (1998)	E. A. Cichon [France] ; E. Tahhan Bittar [France]	Ordinal recursive bounds for Higman's theorem
00B345 (1998)	M. Fernández [France]	Negation Elimination in Empty or Permutative Theories
00B352 (1998)	Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy Lynch	Liveness in Timed and Untimed Systems
00B375 (1998)	C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]	Dynamically Typed Computations for Order-sorted Equational Presentations
00B382 (1998)	H. Comon [France]	Completion of Rewrite Systems with Membership Constraints Part I: Deduction Rules
00BB23 (1997)	E. A. Cichon [France] ; A. Weiermann [France]	Term rewriting theory for the primitive recursive functions

---

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/Teeft.i -k "Lemma" 

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

---

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