extendable < extended < extender

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000089 (1991)	Djemel Ziou [France]	Line detection using an optimal IIR filter
000108 (1995)	Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark]	Rewriting extended regular expressions
000127 (2000)	Alessandro Armando [Italie] ; Silvio Ranise [Italie]	Termination of Constraint Contextual Rewriting
000207 (2008)	Ludwig Seitz [Suède] ; Göran Selander [Suède] ; Erik Rissanen [Suède] ; Cao Ling [Suède] ; Babak Sadighi [Suède]	Decentralized Access Control Management for Network Configuration
000299 (1992)	Didier Galmiche [France] ; Guy Perrier [France]	Automated deduction in additive and multiplicative linear logic
000317 (1994)	A. Faraj [France]	Interpretation Tools For Generalized Discriminant Analysis
000340 (2002)	J. Dischler [France] ; K. Maritaud [France] ; B. Lévy [France] ; D. Ghazanfarpour [France]	Texture Particles
000364 (2007)	Eun-Young Kang [France] ; Stephan Merz [France]	Predicate diagrams for the verification of real-time systems
000498 (2001)	Jean-Charles Lamirel [France] ; Jacques Ducloy [France] ; Hager Kammoun [France]	Some Basics of a Self Organizing Map (SOM) Extended Model for Information Discovery in a Digital Library Context
000507 (1988)	Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Equational completion in order-sorted algebras extended abstract
000687 (2010)	Nicolas Dobigeon [France] ; Saïd Moussaoui [France] ; Martial Coulon [France] ; Jean-Yves Tourneret [France] ; Alfred O. Hero [États-Unis]	Algorithmes bayésiens pour le démélange supervisé, semi-supervisé et non-supervisé d’images hyperspectrales
000737 (1999)	Zhaohui Luo [Royaume-Uni] ; Paul Callaghan [Royaume-Uni]	Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
000810 (1994)	Jon G. Riecke [États-Unis] ; Ramesh Subrahmanyam [États-Unis]	Extensions to type systems can preserve operational equivalences
000852 (2004)	Lamia Hadrich Belguith [Tunisie] ; Abdelmajid Ben Hamadou [Tunisie]	Traitement des erreurs d’accord
000887 (1987)	Stéphane Kaplan [Israël, France] ; Amir Pnueli [Israël]	Specification and implementation of concurrently accessed data structures: An abstract data type approach
000949 (2005)	Balder Ten Cate [Pays-Bas]	Interpolation for extended modal languages
000A20 (1994)	Gregor Engels [Pays-Bas] ; Luuk Groenewegen [Pays-Bas]	Specification of coordinated behaviour by SOCCA
000A65 (2009)	Claude Barral [France, Suisse] ; Assia Tria [France]	Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin
000A94 (2008)	Jean-Louis Giavitto [France] ; Olivier Michel [France] ; Antoine Spicher [France]	Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
000C65 (2002)	J.-C. Royer [France]	An Operational Approach to the Semantics of Classes: Application to Type Checking
000D31 (1983)	Donald Sannella [Royaume-Uni] ; Martin Wirsing [Allemagne]	A kernel language for algebraic specification and implementation extended abstract

---

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

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

---

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