orconectes < order < ordered

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000002 (1978)	Lucie Fossier	Informatique et Histoire Médiévale à l'Institut de Recherche et d'Histoire de Textes
000013 (1999)	Carlo Montangero	The Software Process: Modelling and Technology
000016 (2004)	Frédéric Blanqui [France]	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000038 (1996)	Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
000039 (2002)	David Bueno [Espagne] ; Ricardo Conejo [Espagne] ; Amos A. David [France]	METIOREW: An Objective Oriented Content Based and Collaborative Recommending System
000045 (1992)	David Plainfossé [France] ; Marc Shapiro [France]	Experience with a fault-tolerant garbage collector in a distributed lisp system
000063 (2013)	Nazim Fatès [France]	A Note on the Classification of the Most Simple Asynchronous Cellular Automata
000067 (2010)	Ivan Morel [Australie, France] ; Damien Stehlé [Australie] ; Gilles Villard [France]	Analyse numérique et réduction de réseaux
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000111 (2004)	Laszlo Szathmary [France] ; Amedeo Napoli [France]	Knowledge Organisation and Information Retrieval with Galois Lattices
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000129 (2005)	Djamé Seddah [France] ; Bertrand Gaiffe [France]	How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic
000131 (2001)	Michael Rusinowitch [France]	Rewriting for Deduction and Verification
000142 (2005)	Imad Tawfiq [France] ; Tuong Vinh [France] ; Jean-Baptiste Casimir [France]	Sur l'analyse modale expérimentale des structures non-linéaires
000150 (1996)	Jacques Ducloy [France] ; Jean-Charles Lamirel [France] ; Emmanuel Nauer [France]	A Workbench for Bibliographic or Factual Data Handling
000159 (2012)	P. Ginies [France]	Douleur, approche littéraire, philosophique, esthétique
000167 (2001)	Fairouz Chakkour [France] ; Yannick Toussaint [France]	Sentence Analysis by Case-Based Reasoning
000179 (1987)	S. Dragacci [France] ; J. Thomassin [France] ; J. Magdalou [France] ; H. Souhaili El Amri [France] ; P. Boissel [France] ; G. Siest [France]	Properties of human hepatic UDP-glucuronosyltransferases. Relationship to other inducible enzymes in patients with cholestasis
000198 (2004)	Roberto M. Amadio [France] ; Solange Coupet-Grimal [France] ; Silvano Dal Zilio [France] ; Line Jakubiec [France]	A Functional Scenario for Bytecode Verification of Resource Bounds
000200 (1995)	Stéphane Gançarski ; Geneviève Jomier	Gestion des versions d’entités et de leurs contextes : analyse et perspectives
000205 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer

---

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "order" \
         | 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é=    order
}}

---

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