rests < result < resultant

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000030 (2009)	Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]	An Integrated Declarative Approach to Web Services Composition and Monitoring
000130 (1999)	Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon]	Transforming Context-Sensitive Rewrite Systems
000143 (1996)	Hisashi Kondo ; Masahito Kurihara ; Azuma Ohuchi	Completion of term‐rewriting systems with multiple reduction orderings
000157 (2000)	Adnan Amin [Australie]	Recognition of printed arabic text based on global features and decision tree learning techniques
000163 (2005)	Améziane Ferguene [France] ; Hatem Trimeche [Tunisie, France]	Potentiel scientifique, externalités territoriales et développement des biotechnologies : analyse à partir du cas de Rhône-Alpes
000182 (2006)	Paul Davidsson [Suède] ; Linda Ramstedt [Suède] ; Johanna Törnquist [Suède]	Inter-Organization Interoperability in Transport Chains Using Adapters Based on Open Source Freeware
000202 (1995)	C.-Z. Xu [France] ; P. Ligarius [France] ; J.-P. Gauthier [France]	An observer for infinite-dimensional dissipative bilinear systems
000226 (2013)	V. Nivoliers [Belgique] ; B. Lévy [France]	Approximating Functions on a Mesh with Restricted Voronoï Diagrams
000292 (2011)	Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Towards Verification of the Pastry Protocol Using TLA +
000299 (1992)	Didier Galmiche [France] ; Guy Perrier [France]	Automated deduction in additive and multiplicative linear logic
000310 (1995)	Jean Louis Vigneresse [France]	Which language should be used to sort multifield records?
000357 (1992)	Hubert Comon [France]	Completion of rewrite systems with membership constraints
000377 (1999)	Arnaud Durand [France] ; Miki Hermann [France] ; Laurent Juban [France]	On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
000397 (1995)	Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Automated deduction with associative-commutative operators
000413 (2006)	Arnaud Renard [France] ; Michaël Krajecki [France] ; Alain Bui [France]	On-Request Urban Transport Parallel Optimization
000426 (2009)	Stéphane Le Roux	Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
000449 (2006)	Mikhail Y. Kovalyov [Biélorussie] ; Marie-Claude Portmann [France] ; Ammar Oulamara [France]	Optimal testing and repairing a failed series system
000472 (2012)	Maeve Wallace [États-Unis] ; Marie-Josèphe Saurel-Cubizolles [France]	Returning to Work One Year After Childbirth: Data from the Mother–Child Cohort EDEN
000511 (2009)	Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]	Deciding the Inductive Validity of ∀ ∃ * Queries
000518 (2008)	Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas]	Capture-avoiding substitution as a nominal algebra
000527 (2005)	Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]	Querying a Bioinformatic Data Sources Registry with Concept Lattices

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "result" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "result" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    result
}}

---

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