Amiens < Amsterdam < Angers

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Amsterdam

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]

Ident.	Authors (with country if any)	Title
000134 (2016)	Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique]	The year in cardiology 2015: coronary intervention.
000148 (2016)	Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie]	Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis?
000D63 (2014)	Dario Izzo ; Luís F. Sim Es [Pays-Bas] ; Chit Hong Yam [Hong Kong] ; Francesco Biscani ; David Di Lorenzo [Italie] ; Bernardetta Addis [France] ; Andrea Cassioli [France]	GTOC5: Results from the European Space Agency and University of Florence
001729 (2013)	Floris Roelofsen [Pays-Bas]	Algebraic foundations for the semantic treatment of inquisitive content
001730 (2013)	Floor Sietsma [Pays-Bas] ; Jan Van Eijck [Pays-Bas]	Action Emulation between Canonical Models
002747 (2011)	K. Joost Batenburg [Pays-Bas, Belgique] ; Wagner Fortes [Pays-Bas] ; Lajos Hajdu [Hongrie] ; Robert Tijdeman [Pays-Bas]	Bounds on the Difference between Reconstructions in Binary Tomography
003126 (2010)	Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse]	A heterogeneous computing environment to solve the 768-bit RSA challenge
003625 (2009-05)	Balder Ten Cate [Pays-Bas] ; Gabelaia David [Géorgie] ; Dmitry Sustretov [France]	Modal languages for topology: Expressivity and definability
004F79 (2006-10-11)	Balder Ten Cate [Pays-Bas] ; David Gabelaia [Géorgie] ; Dmitry Sustretov [France]	Modal Languages for Topology: Expressivity and Definability
005231 (2006)	Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas]	Pure Extensions, Proof Rules, and Hybrid Axiomatics
005630 (2006)	Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas]	Modal logic: a Semantic Perspective
005766 (2006)	Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni]	Handbook of Modal Logic
006246 (2005)	Balder Ten Cate [Pays-Bas]	Interpolation for extended modal languages
006C60 (2004)	Gilles Barthe [France] ; Jan Cederquist [Pays-Bas] ; Sabrina Tarento [France]	A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
007973 (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
007A60 (2003)	Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas]	Extracting Mathematical Semantics from ${L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}$ Documents
007A65 (2003)	Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]	Environments for Term Rewriting Engines for Free!
008737 (2002)	Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]	Tableaux for Quantified Hybrid Logic
008814 (2002)	Mark G. J. Van Den Brand [Pays-Bas, France] ; Jeroen Scheerder [Pays-Bas] ; Jurgen J. Vinju [Pays-Bas] ; Eelco Visser [Pays-Bas]	Disambiguation Filters for Scannerless Generalized LR Parsers
008E21 (2001)	Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France]	Bringing them all together
009286 (2001)	Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas]	Situation Calculus as Hybrid Logic: First Steps

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Amsterdam" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Amsterdam" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Amsterdam
}}

---

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