D. Galland < D. Galmiche < D. Garcia

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
001678 (2013)	J. R. Courtault [France] ; D. Galmiche [France]	A Modal BI Logic for Dynamic Resource Properties
004474 (2008)	D. Galmiche [France] ; Y. Salhi [France]	Labelled Calculi for Łukasiewicz Logics
004C30 (2007)	N. Biri [France] ; D. Galmiche [France]	Models and Separation Logics for Resource Trees
006337 (2005)	D. Galmiche [France] ; D. Méry [France] ; D. Pym [Royaume-Uni, France]	The semantics of BI and resource tableaux
007E62 (2003)	D. Galmiche [France] ; J. M. Notin [France]	Connection-Based Proof Construction in Non-commutative Logic
007F76 (2003)	D. Galmiche [France] ; J.-M. Notin [France]	Connection-based proof construction in non-commutative logic
008C45 (2002)	L. Habert [France] ; J.-M. Notin [France] ; D. Galmiche [France]	LINK: A Proof Environment Based on Proof Nets
008D81 (2002)	L. Habert [France] ; J.-M. Notin [France] ; D. Galmiche [France]	LINK: A proof environment based on proof nets
00A299 (2000)	D. Galmiche [France] ; J. M. Notin [France]	Proof-search and Proof Nets in Mixed Linear Logic
00A301 (2000)	D. Galmiche	Preface
00A337 (2000)	D. Galmiche [France]	Connection methods in linear logic and proof nets construction
00A562 (2000)	D. Galmiche [France]	Workshop : Type-theoretic languages : Proof-search and semantics
00A580 (2000)	D. Galmiche [France] ; D. J. Pym [Royaume-Uni]	Proof-search in type-theoretic languages : an introduction
00A622 (2000)	D. Galmiche [France]	Connection methods in linear logic and proof nets construction
00AF12 (1999)	G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne]	A specification logic for concurrent object-oriented programming
00B154 (1999)	D. Galmiche [France] ; D. Larchey-Wendling [France]	Structural sharing and efficient proof-search in propositional intuitionistic logic
00B955 (1998)	D. Larchey-Wendling [France] ; D. Galmiche [France]	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets
00B956 (1998)	D. Galmiche [France] ; B. Martin [France]	Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic
00C858 (1996)	D. Galmiche [France] ; E. Boudinet [France]	Proofs, concurrent objects and computations in a FILL framework
00C967 (1996)	D. Galmiche [France] ; E. Boudinet [France]	Proofs, concurrent objects and computations in a FILL framework
00CB36 (1995)	D. Galmiche ; J.-Y. Marion	Semantic Proof Search Methods for {ALL} - A First Approach -

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "D. Galmiche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "D. Galmiche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    D. 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