AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffRegion.i » - entrée « Hollande-Septentrionale »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Hollande-Méridionale < Hollande-Septentrionale < Hongrie centrale  Facettes :

List of bibliographic references indexed by Hollande-Septentrionale

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

List of associated Author.i

Nombre de
documents		Descripteur
8Patrick Blackburn
4Balder Ten Cate
3Paul Leyland
3Peter L. Montgomery
2Arjen K. Lenstra
2Brian Murphy
2Bruce Dodson
2Carlos Areces
2Dmitry Sustretov
2Herman Te Riele
2Jan Willem Klop
2Johan Van Benthem
2Maarten Marx
2Mark Van Den Brand
2Paul Zimmermann
2Pieter H. Hartel
2Stefania Cavallar
2Walter Lioen
1Alec Muffett
1Andrea Cassioli
1Andrey Timofeev
1Arjen Lenstra
1Be Ne Dicte Stengel
1Bernardetta Addis
1C. M. B. Duwel
1Carlos Castro
1Chit Hong Yam
1Chris And Craig Putnam
1Dag Arne Osvik
1Dario Izzo
1David Di Lorenzo
1David Gabelaia
1David Goldsmith
1Eelco Visser
1Emmanuel Thomé
1Eric Monfroy
1F. C. Visser
1Femke Van Raamsdonk
1Floor Sietsma
1Floris Roelofsen
1Francesco Biscani
1Frank Wolter
1François Morain
1Friedo W. Dekker
1Gabelaia David
1Gilles Barthe
1Gérard Guillerm
1H. P Barendregt
1Heinz Stockinger
1Herman Hendriks
1Hugh Glaser
1J. A. Bergstra
1J. C Mulder
1J. Douglas Briggs
1J. Field
1J. Heering
1J. P. Roos
1Jaap Kamps
1Jan Cederquist
1Jan Van Eijck
1Jeff Gilchrist
1Jens Franke
1Jeroen Scheerder
1John M. Wild
1Joppe W. Bos
1Jurgen J. Vinju
1Jurgen Vinju
1Jöel Marchand
1Jürgen Floege
1Jürgen Stuber
1K. G Langendoen
1K. Joost Batenburg
1Karen Aardal
1Kazumaro Aoki
1Keith Simpson
1Kitty J. Jager
1L. L Li
1L. O Hertzberger
1Lajos Hajdu
1Leon J. Schurgers
1Luís F. Sim Es
1M. Beemster
1M. J. Van Eenige
1Maarten De Rijke
1Marc Vervloet
1Mario Cozzolino
1Mark G. J. Van Den Brand
1Michela Thiémard
1Mohammad Abdelghani
1P. H Hartel
1Pablo Ure A-Torres
1Pascal Jermini
1Patrick W. Serruys
1Paul C. W. Van Dijk
1Philippe Gabriel Steg
1Pierre-Etienne Moreau
1Pieter Evenepoel
1R. F. H Hofman
1R. Milikowski
1Rafael Kramann

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/AffRegion.i -k "Hollande-Septentrionale" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Hollande-Septentrionale" \
         | 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=    AffRegion.i
   |clé=    Hollande-Septentrionale
}}
Wicri

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