fork < form < formai

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

List of bibliographic references

Number of relevant bibliographic references: 206.
[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
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000115 (2007)	El-Eulmi Bendeif ; Slimane Dahaoui ; Nourredine Benali-Cherif ; Claude Lecomte	Tautomerism and hydrogen bonding in guaninium phosphite and guaninium phosphate salts
000127 (2000)	Alessandro Armando [Italie] ; Silvio Ranise [Italie]	Termination of Constraint Contextual Rewriting
000133 (1994)	Gernot Salzer [Autriche]	Primal grammars and unification modulo a binary clause
000162 (1993)	Daniel Barlet [France] ; Alessandro Silva [Italie]	Convexité holomorphe intermediaire
000166 (2008)	Virgil Percec [États-Unis] ; Mihai Peterca [États-Unis] ; Michael Yurchenko ; Jonathan Rudick ; Paul Heiney [États-Unis]	Thixotropic Twin‐Dendritic Organogelators
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
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
000351 (2002)	Dimitri Hendriks	Proof Reflection in Coq
000355 (1999)	Y. Belaïd [France] ; A. Belaïd [France]	Form Analysis by Neural Classification of Cells
000368 (2001)	Guy Perrier [France]	Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
000378 (1992)	H. W. Moser [États-Unis] ; A. B. Moser [États-Unis] ; K. D. Smith [États-Unis] ; A. Bergin [États-Unis] ; J. Borel [États-Unis] ; J. Shankroff [États-Unis] ; O. C. Stine [États-Unis] ; C. Merette [États-Unis] ; J. Ott [États-Unis] ; W. Krivit [États-Unis] ; E. Shapiro [États-Unis]	Adrenoleukodystrophy: Phenotypic variability and implications for therapy
000392 (1986)	J. P. Laborde	Pour une approche géostatistique des coefficients d'abattement des précipitations
000431 (1998)	Juan D. Delius [Allemagne] ; Martina Siemann [Allemagne]	Transitive responding in animals and humans: Exaptation rather than adaptation?
000460 (2010)	Éric Brier [France] ; Christophe Clavier [France]	New Families of ECM Curves for Cunningham Numbers
000494 (1994)	Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Dynamically-typed computations for order-sorted equational presentations
000500 (2004)	Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis]	Disunification in ACI 1 Theories
000511 (2009)	Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]	Deciding the Inductive Validity of ∀ ∃ * Queries

---

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

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

---

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