| 2008 |
|---|
| 34 | EE | Didier Galmiche,
Y. Salhi:
Labelled Calculi for Lukasiewicz Logics.
WoLLIC 2008: 194-207 |
| 2007 |
|---|
| 33 | EE | Nicolas Biri,
Didier Galmiche:
Models and Separation Logics for Resource Trees.
J. Log. Comput. 17(4): 687-726 (2007) |
| 2006 |
|---|
| 32 | EE | Didier Galmiche,
Dominique Larchey-Wendling:
Expressivity Properties of Boolean.
FSTTCS 2006: 357-368 |
| 2005 |
|---|
| 31 | EE | Didier Galmiche,
Daniel Méry:
Characterizing Provability in .
LPAR 2005: 459-473 |
| 30 | EE | Didier Galmiche,
Daniel Méry,
David J. Pym:
The semantics of BI and resource tableaux.
Mathematical Structures in Computer Science 15(6): 1033-1088 (2005) |
| 2003 |
|---|
| 29 | EE | Nicolas Biri,
Didier Galmiche:
A Separation Logic for Resource Distribution: Extended Abstract.
FSTTCS 2003: 23-37 |
| 28 | EE | Didier Galmiche,
J.-M. Notin:
Connection-Based Proof Construction in Non-commutative Logic.
LPAR 2003: 422-436 |
| 27 | EE | Didier Galmiche,
Daniel Méry:
Semantic Labelled Tableaux for Propositional BI.
J. Log. Comput. 13(5): 707-753 (2003) |
| 2002 |
|---|
| 26 | EE | Didier Galmiche,
Daniel Méry:
Connection-Based Proof Search in Propositional BI Logic.
CADE 2002: 111-128 |
| 25 | EE | Didier Galmiche,
Daniel Méry,
David J. Pym:
Resource Tableaux.
CSL 2002: 183-199 |
| 24 | EE | L. Habert,
J.-M. Notin,
Didier Galmiche:
LINK: A Proof Environment Based on Proof Nets.
TABLEAUX 2002: 330-334 |
| 2001 |
|---|
| 23 | EE | Dominique Larchey-Wendling,
Dominique Méry,
Didier Galmiche:
STRIP: Structural Sharing for Efficient Proof-Search.
IJCAR 2001: 696-700 |
| 22 | EE | Didier Galmiche,
Daniel Méry:
Proof-Search and Countermodel Generation in Propositional BI Logic.
TACS 2001: 263-282 |
| 2000 |
|---|
| 21 | | Didier Galmiche:
Workshop: Type-Theoretic Languages: Proof-Search and Semantics.
CADE 2000: 515 |
| 20 | EE | Dominique Larchey-Wendling,
Didier Galmiche:
Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 19 | EE | Didier Galmiche:
Preface.
Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 18 | EE | Didier Galmiche,
J.-M. Notin:
Proof-search and proof nets in Mixed Linear Logic.
Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 17 | EE | Didier Galmiche:
Connection methods in linear logic and proof nets construction.
Theor. Comput. Sci. 232(1-2): 231-272 (2000) |
| 16 | EE | Didier Galmiche,
David J. Pym:
Proof-search in type-theoretic languages: an introduction.
Theor. Comput. Sci. 232(1-2): 5-53 (2000) |
| 1999 |
|---|
| 15 | EE | Didier Galmiche,
Dominique Larchey-Wendling:
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.
ASIAN 1999: 101-112 |
| 14 | | Jean Paul Bahsoun,
José Luiz Fiadeiro,
Didier Galmiche:
Foreword.
Mathematical Structures in Computer Science 9(3): 225-226 (1999) |
| 13 | | Giorgio Delzanno,
Didier Galmiche,
Maurizio Martelli:
A specification logic for concurrent object-oriented programming.
Mathematical Structures in Computer Science 9(3): 253-286 (1999) |
| 1998 |
|---|
| 12 | EE | Didier Galmiche:
Preface.
Electr. Notes Theor. Comput. Sci. 17: (1998) |
| 11 | EE | Didier Galmiche,
Bruno Martin:
Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.
Electr. Notes Theor. Comput. Sci. 17: (1998) |
| 10 | EE | Dominique Larchey-Wendling,
Didier Galmiche:
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.
Electr. Notes Theor. Comput. Sci. 17: (1998) |
| 1997 |
|---|
| 9 | | Didier Galmiche:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings
Springer 1997 |
| 1995 |
|---|
| 8 | | Didier Galmiche,
Eric Boudinet:
Proofs, Concurrent Objects, and Computations in a FILL Framework.
OBPDC 1995: 148-167 |
| 1994 |
|---|
| 7 | | Didier Galmiche,
Guy Perrier:
Foundations of Proof Search Strategies Design in Linear Logic.
LFCS 1994: 101-113 |
| 6 | | Didier Galmiche,
Guy Perrier:
On Proof Normalization in Linear Logic.
Theor. Comput. Sci. 135(1): 67-110 (1994) |
| 1993 |
|---|
| 5 | | Didier Galmiche,
O. Hermann:
SKIL: A System for Programming with Proofs.
LPAR 1993: 348-350 |
| 1992 |
|---|
| 4 | | Didier Galmiche,
Guy Perrier:
Automated Deduction in Additive and Multiplicative Linear Logic.
LFCS 1992: 151-162 |
| 3 | | Didier Galmiche,
Guy Perrier:
A Procedure for Automatic Proof Nets Construction.
LPAR 1992: 42-53 |
| 2 | | Didier Galmiche:
Program Development in Constructive Type Theory.
Theor. Comput. Sci. 94(2): 237-259 (1992) |
| 1990 |
|---|
| 1 | | Didier Galmiche:
Constructive System for Automatic Program Synthesis.
Theor. Comput. Sci. 71(2): 227-239 (1990) |
