sinaloa < since < sincerely

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000063 (2013)	Nazim Fatès [France]	A Note on the Classification of the Most Simple Asynchronous Cellular Automata
000098 (2007)	Claude Marché [France] ; Hans Zantema [Pays-Bas]	The Termination Competition
000127 (2000)	Alessandro Armando [Italie] ; Silvio Ranise [Italie]	Termination of Constraint Contextual Rewriting
000131 (2001)	Michael Rusinowitch [France]	Rewriting for Deduction and Verification
000139 (2005)	Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]	Towards Synchronizing Linear Collaborative Objects with Operational Transformation
000185 (1996)	Paul Ruet [France]	Logical semantics of concurrent constraint programming
000254 (1999)	Friedrich Otto [Allemagne]	On the Connections between Rewriting and Formal Language Theory
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000287 (2011)	Matthijs G. T. Van Polen [Pays-Bas, Burundi] ; Giovane C. M. Moura [Pays-Bas] ; Aiko Pras [Pays-Bas]	Finding and Analyzing Evil Cities on the Internet
000292 (2011)	Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Towards Verification of the Pastry Protocol Using TLA +
000325 (2010)	Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]	Tool Support for Dynamic Development Processes
000357 (1992)	Hubert Comon [France]	Completion of rewrite systems with membership constraints
000410 (2006)	Traian Florin Erb Nu [États-Unis] ; Grigore Ro U [États-Unis]	Computationally Equivalent Elimination of Conditions
000427 (2007)	Guillaume Hanrot [France] ; Damien Stehlé [France]	Improved Analysis of Kannan’s Shortest Lattice Vector Algorithm
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
000457 (2006)	Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne]	Integrating Business Processes with Peer-to-Peer Technology
000465 (2013)	Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]	Towards an Architectural Framework for Service-Oriented Enterprises
000534 (2006)	Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France]	The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
000570 (2008)	Elisabeth Frauger [France] ; Caroline Vigneau [France] ; Véronica Orléans [France] ; Xavier Thirion [France] ; Pascale Jolliet [France] ; Joëlle Micallef [France]	La consommation de cannabis chez les sujets présentant un abus, une pharmacodépendance ou sous traitement de substitution de la dépendance aux opiacés : données OPPIDUM 2006 et principales tendances depuis 2004 du réseau des Centres d'Évaluation et d'Information sur la Pharmacodépendance (CEIP)
000605 (2003)	Man Hon Lo [République populaire de Chine, Hong Kong] ; Kwok Yip Szeto [République populaire de Chine, Hong Kong]	Searching Solutions in the Crypto-arithmetic Problems: An Adaptive Parallel Genetic Algorithm Approach
000609 (1988)	Nancy Council Maguire [États-Unis]	Current use of the papanicolaou class system in gynecologic cytology

---

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

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

---

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