Villers-ls-Nancy < Villers-lès-Nancy < Villers-lès-Nancy

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000476 (2005)	Francois Lamarche [France] ; Lutz Strassburger [Allemagne]	Naming proofs in classical propositional logic
000493 (2005)	M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas]	Generator of efficient strongly typed abstract syntax trees in Java
000495 (2005)	Phong Q. Nguyen [France] ; Damien Stehle [France]	Floating-point LLL revisited
000504 (2005)	Frédéric Blanqui [France]	Decidability of type-checking in the calculus of algebraic constructions with size annotations
000521 (2005)	HUAIZHONG KOU [France] ; Amedeo Napoli [France] ; Yannick Toussaint [France]	Application of text categorization to astronomy field
000523 (2005)	Y. Gerard [France] ; I. Debled-Rennesson [France] ; P. Zimmermann [France]	An elementary digital plane recognition algorithm
000528 (2005)	Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France]	A primitive trinomial of degree 6972593
000529 (2005)	Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France]	A hierarchical architecture for a distributed management of P2P networks and services
000558 (2004)	Philippe Dosch [France] ; Josep Llados [Espagne]	Vectorial signatures for symbol discrimination
000572 (2004)	Claude Kirchner [France] ; Hélène Kirchner [France]	Rule-based programming and proving: The ELAN experience outcomes
000577 (2004)	Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]	Protocol analysis in intrusion detection using decision tree
000579 (2004)	Ernest Valveny [Espagne] ; Philippe Dosch [France]	Performance evaluation of symbol recognition
000593 (2004)	Phong Q. Nguyen [France] ; Damien Stehle [France]	Low-dimensional lattice basis reduction revisited
000595 (2004)	Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France]	Linear-time computation of local periods
000596 (2004)	Jérome Besombes [France] ; Jean-Yves Marion [France]	Learning tree languages from positive examples and membership queries
000609 (2004)	Fabrice Rouillier [France] ; Paul Zimmermann [France]	Efficient isolation of polynomial's real roots
000633 (2004)	Frédéric Blanqui [France]	A type-based termination criterion for dependently-typed higher-order rewrite systems
000636 (2004)	Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France]	A performance-oriented management information model for the Chord peer-to-peer framework
000641 (2004)	Salvatore Tabbone [France] ; Laurent Wendling [France] ; Daniel Zuwala [France]	A hybrid approach to detect graphical symbols in documents
000642 (2004)	Damien Stehle [France] ; Paul Zimmermann [France]	A binary recursive Gcd algorithm
000643 (2004)	Guillaume Doyen [France] ; Olivier Festor [France] ; Emmanuel Nataf [France]	A CIM extension for peer-to-peer network and service management

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffVille.i -k "Villers-lès-Nancy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffVille.i  \
                -Sk "Villers-lès-Nancy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Villers-lès-Nancy
}}

---

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