AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « logic »
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.
logi < logic < logical  Facettes :

List of bibliographic references indexed by logic

Number of relevant bibliographic references: 1138.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000044 (2016-04-11) Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000102 (2016) Frédéric Bimbot [France] ; Emmanuel Deruty [France] ; Gabriel Sargent [France] ; Emmanuel Vincent [France]System & Contrast : A Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces
000105 (2016) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000186 (2015-12-16) Stephan Merz [France] ; Hernán Vanzetto [France]Encoding TLA+ set theory into many-sorted first-order logic
000222 (2015-11-24) Hoang Nam Ho [France] ; Mourad Rabah [France] ; Samuel Nowakowski [France] ; Pascal Estraillier [France]Application of Trace-Based Subjective Logic to User Preferences Modeling
000249 (2015-11-03) Olga Kouchnarenko [France] ; Jean-François Weber [France]Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
000263 (2015-10-26) Patrick Olivier Kamgueu [France] ; Emmanuel Nataf [France] ; Thomas Djotio Ndié [Cameroun]On Design and Deployment of Fuzzy-Based Metric for Routing in Low-Power and Lossy Networks
000264 (2015-10-26) Guillaume Aucher [France] ; Bastien Maubert [France] ; Sophie Pinchinat [France] ; François Schwarzentruber [France]Games with Communication: from Belief to Preference Change
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000301 (2015-10) Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne]Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
000361 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000392 (2015-08-20) Ahmed Bouchami [France] ; Olivier Perrin [France] ; Ehtesham Zahoor [France]Trust-Based Formal Delegation Framework for Enterprise Social Networks
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000426 (2015-08) Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne]Quantification in Frame Semantics with Hybrid Logic
000516 (2015-06) Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne]Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
000517 (2015-06) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000581 (2015-04-15) Jean-René Courtault [France]Dynamic Resource Logics : Models, Properties and Proofs
000582 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes

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/AbsEn.i -k "logic" 

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