Népal < Pays-Bas < Pologne

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000098 (2007)	Claude Marché [France] ; Hans Zantema [Pays-Bas]	The Termination Competition
000132 (1994)	Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]	Compilation of functional languages using flow graph analysis
000231 (1999)	Femke Van Raamsdonk [Pays-Bas]	Higher-Order Rewriting
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
000518 (2008)	Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas]	Capture-avoiding substitution as a nominal algebra
000545 (2003)	Be Ne Dicte Stengel ; Solenne Billon ; Paul C. W. Van Dijk [Pays-Bas] ; Kitty J. Jager [Pays-Bas] ; Friedo W. Dekker [Pays-Bas] ; Keith Simpson [Royaume-Uni] ; J. Douglas Briggs [Pays-Bas]	Trends in the incidence of renal replacement therapy for end-stage renal disease in Europe, 1990–1999
000565 (2006)	Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas]	Capture-Avoiding Substitution as a Nominal Algebra
000577 (1999)	Herman Hendriks [Pays-Bas]	The Logic of Tune A Proof-Theoretic Analysis of Intonation
000657 (2003)	Elmo Diederiks [Pays-Bas] ; Richard Van De Sluis [Pays-Bas] ; Ramon Van De Ven [Pays-Bas]	Sociability and Mobility Concepts for the Connected Home
000704 (2003)	Otfried Cheong [Pays-Bas] ; Xavier Goaoc [France] ; Hyeon-Suk Na [Corée du Sud]	Disjoint Unit Spheres admit at Most Two Line Transversals
000733 (2000)	Carlos Castro [France] ; Eric Monfroy [Pays-Bas]	A Control Language for Designing Constraint Solvers
000772 (1999)	Stefano Stramigioli [Pays-Bas]	A novel impedance grasping strategy as a generalized hamiltonian system
000949 (2005)	Balder Ten Cate [Pays-Bas]	Interpolation for extended modal languages
000981 (2010)	Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France]	Factorization of a 768-Bit RSA Modulus
000A20 (1994)	Gregor Engels [Pays-Bas] ; Luuk Groenewegen [Pays-Bas]	Specification of coordinated behaviour by SOCCA
000A33 (2002)	Cees-Bart Breunesse [Pays-Bas] ; Bart Jacobs [Pays-Bas] ; Joachim Van Den Berg [Pays-Bas]	Specifying and Verifying a Decimal Representation in Java for Smart Cards*
000B05 (1995)	Luuk Groenewegen [Pays-Bas] ; Gregor Engels [Pays-Bas]	Coordination by behavioural views and communication patterns
000B53 (2000)	Jeroen Van Craenenbroeck [Pays-Bas] ; Ineke Van Der Meulen [Pays-Bas]	A selected and annotated bibliography of recent publications in linguistics
000C74 (2004)	Siu-Wing Cheng [Hong Kong] ; Otfried Cheong [Pays-Bas] ; Hazel Everett [France] ; René Van Oostrum [Pays-Bas]	Hierarchical Decompositions and Circular Ray Shooting in Simple Polygons
000C82 (1998)	J. M. Deshouillers [France] ; H. J. J. Te Riele [Pays-Bas] ; Y. Saouter [France]	New experimental results concerning the Goldbach conjecture
000D48 (1996)	M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]	Total termination of term rewriting

---

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/AffPays.i -k "Pays-Bas" 

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

---

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