Auteurs
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « Auteurs » - entrée « Didier Galmiche »
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.
Didier Fass < Didier Galmiche < Didier Grzejszczak  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 86.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000055 (2013) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
000130 (2013) Didier Galmiche [France] ; Daniel Mery [France]A Connection-based Characterization of Bi-intuitionistic Validity
000131 (2011-07-31) Didier Galmiche [France] ; Daniel Mery [France]A Connection-based Characterization of Bi-intuitionistic Validity
000181 (2010) Didier Galmiche [France] ; Yakoub Salhi [France]A Family of Gödel Hybrid Logics
000313 (2013) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal BI Logic for Dynamic Resource Properties
000314 (2013) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Extension of Boolean BI for Resource Transformations
000315 (2002) Nicolas Biri [France] ; Didier Galmiche [France]A Modal Linear Logic for Distribution and Mobility - extended abstract -
000316 (2015) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Separation Logic for Resource Dynamics
000464 (2003) Nicolas Biri [France] ; Didier Galmiche [France]A Separation Logic for Resource Distribution
000485 (1998) Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio MartelliA Specification Logic for Concurrent Object-Oriented Programming
000486 (1999) Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio MartelliA Specification Logic for Concurrent Object-oriented Programming
000830 (1992) Didier Galmiche [France] ; Guy Perrier [France]A procedure for automatic proof nets construction
000959 (2014) Philippe Balbiani [France] ; Vincent Demange [France] ; Didier Galmiche [France]A sequent calculus with labels for Public Announcement Logic
000B78 (2012-03) Jack Copeland [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Alan Turing
000C82 (2015) Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France]An Epistemic Separation Logic
000D18 (2013) Jean-René Courtault [France] ; Didier Galmiche [France] ; Daniel Méry [France]An Interactive Prover for Bi-intuitionistic Logic
001190 (2006-02-25) Didier Galmiche [France]BI Logic, Resource Models and Proofs
001378 (2001) Didier Galmiche [France] ; Jean-Marc Notin [France]Calculi with dependency relations for Mixed Linear Logic
001446 (2011-03-26) Didier Galmiche [France] ; Daniel Mery [France]Characterization of bi-intuitionistic validity through resource games
001454 (2005) Didier Galmiche [France] ; Daniel Mery [France]Characterizing Provability in BI's Pointer Logic through Resource Graphs
001840 (2001) Didier Galmiche [France]Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Didier Galmiche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Didier Galmiche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Didier Galmiche
}}
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