Didier Fass < Didier Galmiche < Didier Grzejszczak

Facettes : Author.f

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Didier Galmiche
}}

---

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