typelab < types < typewriter

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

List of bibliographic references

Number of relevant bibliographic references: 240.
[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
000016 (2004)	Frédéric Blanqui [France]	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000019 (1999)	Nissim Francez [Israël]	On Fibring Feature Logics with Concatenation Logics
000030 (2009)	Ehtesham Zahoor [France] ; Olivier Perrin [France] ; Claude Godart [France]	An Integrated Declarative Approach to Web Services Composition and Monitoring
000038 (1996)	Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
000102 (2005)	Yann Guermeur [France] ; André Elisseeff [Allemagne] ; Dominique Zelus [Argentine]	A comparative study of multi‐class support vector machines in the unifying framework of large margin classifiers
000104 (1992)	G. P. Voydeville [France] ; L. Feldmann [France]	Ligamentoplastie intervertébrale avec cale souple dans les instabilités lombaires
000110 (2013)	Simon Petitjean [France]	Describing Music with MetaGrammars
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000158 (2001)	Stefan Jacques Darmoni ; Jean-Philippe Leroy ; Magali Douyère ; Josette Piot ; Saïda Ouazir ; Benoit Lacoste ; Christophe Godard ; Isabelle Rigolle ; Martial Brisou ; Stphane Videau ; Myriam Quéré ; Eric Goupy ; Habib Abdulrab ; Benoit Thirion	Doc’CISMeF : un outil de recherche Internetorienté vers l’enseignementet la formation à distance en médecine
000167 (2001)	Fairouz Chakkour [France] ; Yannick Toussaint [France]	Sentence Analysis by Case-Based Reasoning
000196 (1988)	Martin Wirsing ; Rolf Hennicker ; Ruth Breu	Reusable specification components
000239 (2002)	Samir Tata [France]	Policies for Cooperative Virtual Teams
000248 (2009)	Mônica Macedo-Rouet [France]	La visioconférence dans l’enseignement
000264 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types
000310 (1995)	Jean Louis Vigneresse [France]	Which language should be used to sort multifield records?
000371 (2003)	P. S. C. Alencar [Canada] ; D. D. Cowan [Canada] ; D. Mulholland [Canada] ; T. Oliveira [Canada]	Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1
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
000443 (2007)	Claudia Hopenhayn [États-Unis] ; Amy Christian [États-Unis] ; W. Jay Christian [États-Unis] ; Nancy E. Schoenberg [États-Unis]	Human papillomavirus vaccine: knowledge and attitudes in two Appalachian Kentucky counties
000470 (2005)	Jérôme Rocheteau [France]	λμ -Calculus and Duality: Call-by-Name and Call-by-Value
000485 (2001)	M. Vardelle [France] ; P. Fauchais [France] ; A. Vardelle [France] ; K. I. Li [France] ; B. Dussoubs [France] ; N. J. Themelis [États-Unis]	Controlling particle injection in plasma spraying

---

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

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

---

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