setheo < sets < setsof

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000038 (1996)	Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
000046 (2013)	Ta Minh Thuy [France] ; Le Thi Hoai An [France] ; Lydia Boudjeloud-Assala [France]	Clustering Data Streams over Sliding Windows by DCA
000073 (2000)	Gregory Kucherov [France] ; Michaël Rusinowitch [France]	Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
000115 (2007)	El-Eulmi Bendeif ; Slimane Dahaoui ; Nourredine Benali-Cherif ; Claude Lecomte	Tautomerism and hydrogen bonding in guaninium phosphite and guaninium phosphate salts
000131 (2001)	Michael Rusinowitch [France]	Rewriting for Deduction and Verification
000134 (1995)	Dov Dori ; Karl Tombre [Israël, France]	From engineering drawings to 3D cad models: are we ready now?
000150 (1996)	Jacques Ducloy [France] ; Jean-Charles Lamirel [France] ; Emmanuel Nauer [France]	A Workbench for Bibliographic or Factual Data Handling
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000271 (1994)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	The complexity of counting problems in equational matching
000297 (2008)	Emmanuel Hainry [France]	Computing Omega-Limit Sets in Linear Dynamical Systems
000301 (2008)	Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France]	A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance
000357 (1992)	Hubert Comon [France]	Completion of rewrite systems with membership constraints
000362 (2008)	V. Bombardier [France] ; E. Schmitt [France] ; P. Charpentier [France]	Système de tri couleur par capteur flou
000383 (2007)	Lionel Vaux [France]	Convolution $\bar\lambda\mu$-Calculus
000439 (1999)	Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne]	Test Sets for the Universal and Existential Closure of Regular Tree Languages
000500 (2004)	Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis]	Disunification in ACI 1 Theories
000566 (2004)	Solen Corvez [France] ; Fabrice Rouillier [France]	Using Computer Algebra Tools to Classify Serial Manipulators
000674 (2001)	Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]	Matching Power
000752 (1999)	J. H. Rieger	Recognizing unstable equidimensional maps, and the number of stable projections of algebraic hypersurfaces
000845 (2002)	John G. Stell [Royaume-Uni]	A Framework for Order-Sorted Algebra
000868 (2008)	Yannick Parmentier [France] ; Wolfgang Maier [Allemagne]	Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing

---

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

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

---

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