AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffOrg.i » - entrée « Université d'Amsterdam »
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.
Université d'Aix-Marseille < Université d'Amsterdam < Université d'Angers  Facettes :

List of bibliographic references indexed by Université d'Amsterdam

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]
Ident.Authors (with country if any)Title
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
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
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
008737 (2002) Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]Tableaux for Quantified Hybrid Logic
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
009461 (2001) Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas]Modal Logic
009631 (2001) Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France]Journal of Logic and Computation. Special Issue on Hybrid Logic
009F34 (2000) W. J. Fokkink [Pays-Bas] ; S. P. Luttik [Pays-Bas]An ω-Complete Equational Specification of Interleaving
00A922 (1999) Herman Hendriks [Pays-Bas]The Logic of Tune A Proof-Theoretic Analysis of Intonation
00C112 (1996) J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas]A complete transformational toolkit for compilers
00CD35 (1994) Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]Compilation of functional languages using flow graph analysis
00D123 (1993) M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas]Experience with a clustered parallel reduction machine
00DA50 (1991) Pieter H. Hartel [Pays-Bas, Royaume-Uni]Performance of lazy combinator graph reduction

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/AffOrg.i -k "Université d'Amsterdam" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université d'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=    AffOrg.i
   |clé=    Université d'Amsterdam
}}
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