Didier Fass < Didier Galmiche < Didier Grzejszczak

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
001840 (2001)	Didier Galmiche [France]	Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics
001841 (2000)	Didier Galmiche [France]	Connection Methods in Linear Logic and Proof nets Construction
001843 (1998)	Didier Galmiche [France]	Connection proof search methods in Linear Logic and proof nets construction
001844 (2003)	Didier Galmiche [France] ; Jean-Marc Notin [France]	Connection-based proof construction in Non-Commutative Logic
001845 (2007-07-15)	Didier Galmiche [France] ; Daniel Mery [France]	Connection-based proof search in intuitionistic logic from transitive closure of constraints
001846 (2002)	Didier Galmiche [France] ; Daniel Méry [France]	Connection-based proof search in propositional BI logic
002143 (2009-06-01)	Dominique Larchey-Wendling [France] ; Didier Galmiche [France]	Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
002151 (2006-12)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Expressivity properties of Boolean BI through Relational Models
002420 (1998)	Didier Galmiche [France] ; Dominique Larchey-Wendling	Formulae-as-Resources Management for an Intuitionistic Theorem Prover
002424 (1994)	Didier Galmiche [France] ; Guy Perrier [France]	Foundations of Proof Search Strategies Design in Linear Logic
002465 (1999)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic
002493 (1998)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic
002D95 (2002)	Luc Habert [France] ; Jean-Marc Notin [France] ; Didier Galmiche [France]	LINK: a Proof Environment based on Proof nets
002E09 (2010)	Didier Galmiche [France] ; Yakoub Salhi [France]	Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics
002E10 (2010-04-25)	Didier Galmiche [France] ; Yakoub Salhi [France]	Label-free Proof Systems for Intuitionistic Modal Logic IS5
002E13 (2000)	Didier Galmiche [France] ; Vincent Balat	Labelled Proof Systems for Intuitionistic Provability
002E14 (2005)	Didier Galmiche [France] ; Estelle Dumoulin [France]	Labelled Structures and Provability in Resource Logics - extended abstract
002F77 (2004)	Didier Galmiche [France] ; Peter O'Hearn ; David Pym	Logics for Resources, Processes and Programs
002F85 (2014-09-01)	Dominique Larchey-Wendling [France] ; Didier Galmiche [France]	Looking at Separation Algebras with Boolean BI-eyes
003335 (2007)	Nicolas Biri [France] ; Didier Galmiche [France]	Models and Separation Logics for Resource Trees
003611 (2013-02)	Dominique Larchey-Wendling [France] ; Didier Galmiche [France]	Nondeterministic Phase Semantics and the Undecidability of Boolean BI

---

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
}}

---

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