Dominique Larchey < Dominique Larchey-Wendling < Dominique Laurent

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 35.
[0-20] [0 - 20][0 - 35][20-34][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
000B78 (2012-03)	Jack Copeland ; Didier Galmiche ; Dominique Larchey-Wendling ; Joseph Vidal-Rosset	Alan Turing
000C48 (2010-05-25)	Dominique Larchey-Wendling	An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
001294 (2005-12-02)	Dominique Larchey-Wendling	Bounding Resource Consumption with Gödel-Dummett Logics
001611 (2002-07-27)	Dominique Larchey-Wendling	Combining proof-search and counter-model construction for deciding Gödel-Dummett logic
001612 (2003)	Dominique Larchey-Wendling	Combining proof-search and linear counter-model construction
002143 (2009-06-01)	Dominique Larchey-Wendling ; Didier Galmiche	Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
002151 (2006-12)	Didier Galmiche ; Dominique Larchey-Wendling	Expressivity properties of Boolean BI through Relational Models
002420 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	Formulae-as-Resources Management for an Intuitionistic Theorem Prover
002465 (1999)	Didier Galmiche ; Dominique Larchey-Wendling	From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic
002493 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic
002658 (2007)	Dominique Larchey-Wendling	Graph-based decision for Gödel-Dummett logics
002695 (2004)	Dominique Larchey-Wendling	Gödel-Dummett counter-models through matrix computation
002696 (2005)	Dominique Larchey-Wendling	Gödel-Dummett counter-models through matrix computation
002D87 (2008-09-22)	Dominique Larchey-Wendling	Kripke Models of Boolean BI and Invertible Resources
002E15 (2009-07-16)	Dominique Larchey-Wendling	Labelled Tableaux for Proofs and Models in BI logics
002F85 (2014-09-01)	Dominique Larchey-Wendling ; Didier Galmiche	Looking at Separation Algebras with Boolean BI-eyes
003611 (2013-02)	Dominique Larchey-Wendling ; Didier Galmiche	Nondeterministic Phase Semantics and the Undecidability of Boolean BI
003B75 (2011-05-12)	Dominique Larchey-Wendling	Phase Semantics and the Undecidability of Boolean BI
003E27 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract -
003E75 (2000)	Didier Galmiche ; Dominique Larchey-Wendling	Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic

---

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 "Dominique Larchey-Wendling" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Dominique Larchey-Wendling" \
         | 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é=    Dominique Larchey-Wendling
}}

---

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