Didier Fass < Didier Galmiche < Didier Stricker

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000005 (2005)	Didier Galmiche ; Daniel Méry	Resource Graphs and Countermodels in Resource Logics
000101 (2005)	Didier Galmiche ; Daniel Méry ; David Pym	The Semantics of BI and Resource Tableaux
000114 (2005)	Didier Galmiche ; Estelle Dumoulin	Labelled Structures and Provability in Resource Logics - extended abstract
000246 (2005)	Didier Galmiche ; Nicolas Biri	Resource Trees and XML Data Transformations - abstract
000371 (2005)	Didier Galmiche ; Daniel Mery	Characterizing Provability in BI's Pointer Logic through Resource Graphs
000546 (2004)	Didier Galmiche ; Daniel Méry	Resource Graphs and Countermodels in Resource Logics
000615 (2004)	Nicolas Biri ; Didier Galmiche	Resource Tree and Logics for Distribution - abstract
000823 (2004)	Didier Galmiche ; Julien Gobillot ; Daniel Méry	Proofs and countermodels in BI's pointer logic
000A40 (2003)	Didier Galmiche ; Jean-Marc Notin	Connection-based proof construction in Non-Commutative Logic
000B38 (2003)	Didier Galmiche ; Daniel Mery	Semantic Labelled Tableaux for propositional BI (without bottom)
000C98 (2003)	Didier Galmiche	Resource Models and Proofs in Bunched Implications Logic
000D17 (2003)	Nicolas Biri ; Didier Galmiche	A Separation Logic for Resource Distribution
000E17 (2002)	Didier Galmiche ; Daniel Mery ; David Pym	Resource Tableaux (extended abstract)
000F37 (2002)	Didier Galmiche	Resources, Labels and Proofs
001044 (2002)	Didier Galmiche ; Daniel Mery	Connection-based proof search in propositional BI logic
001104 (2002)	Nicolas Biri ; Didier Galmiche	A Modal Linear Logic for Distribution and Mobility - extended abstract -
001166 (2002)	Luc Habert ; Jean-Marc Notin ; Didier Galmiche	LINK : a Proof Environment based on Proof nets
001457 (2001)	Didier Galmiche	Connection Methods in Linear Logic and Proof Nets ConstructionGeneration in Mixed Logics
001546 (2001)	Didier Galmiche ; Daniel Méry	Proof-search and countermodel generation in propositional BI Logic - extended abstract -
001668 (2001)	Didier Galmiche ; Jean-Marc Notin	Calculi with dependency relations for Mixed Linear Logic
001760 (2001)	Dominique Larchey-Wendling ; Daniel Méry ; Didier Galmiche	STRIP : Structural Sharing for Efficient Proof-search

---

List of associated KwdEn.i

Nombre de documents	Descripteur
15	linear logic
13	semantics
8	resources
7	proof nets
6	intuitionistic logic
6	proof search
6	proof-search
6	proofs
5	countermodels
5	labels
5	tableaux
4	Linear Logic
4	Proof nets
3	Automated deduction
3	Concurrency
3	Proofs
3	automated deduction
3	completeness
3	decidability
2	Proof search
2	Proof-Search
2	Semantics
2	automated reasoning
2	bunched implications logic
2	connection method
2	distribution
2	duplication
2	finite models
2	locations
2	logical frameworks
2	logics
2	mixed linear logic
2	non-classical logics
2	non-commutative logic
2	petri nets
2	proof-search methods
2	quantales
2	sequents
2	type theory
2	type-theoretic languages
1	Automated Deduction
1	Completeness
1	Connection method
1	Constructives logics
1	Counter-Models
1	Intuitionistic Logic
1	KLinear Logic
1	Linear logic
1	Logical FrameWorks
1	Logical frameworks
1	Non-commutative linear logic
1	Object-oriented Programming
1	Object-oriented programming
1	Objects Systems
1	Petri nets
1	Proof Nets
1	Proof Search
1	Proof Theory
1	Quantales
1	Specification Logic
1	Structural Sharing
1	Type Theory
1	Type theory
1	Type-theoretic languages
1	bi logic
1	concurrency
1	connection methods
1	constraints
1	decidability.
1	dependencies
1	finite model property
1	guarded commands
1	interferences
1	intutionism
1	labelled proof systems
1	labelled sequent calculus
1	logic
1	mixed logic
1	mobility
1	modalities
1	model checking
1	models
1	non-commutative linear logic
1	ordered monoids
1	pointer logic
1	program synthesis
1	proof net
1	proof plan
1	proof theory
1	proof-objects
1	resource semantics
1	resources sharing
1	separation logics
1	sequent calculus
1	sharing
1	strategies
1	structural sharing
1	verification

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Didier Galmiche" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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