| 2007 |
|---|
| 9 | EE | Dominique Larchey-Wendling:
Graph-based Decision for Gödel-Dummett Logics.
J. Autom. Reasoning 38(1-3): 201-225 (2007) |
| 2006 |
|---|
| 8 | EE | Didier Galmiche,
Dominique Larchey-Wendling:
Expressivity Properties of Boolean.
FSTTCS 2006: 357-368 |
| 2005 |
|---|
| 7 | EE | Dominique Larchey-Wendling:
Bounding Resource Consumption with Gödel-Dummett Logics.
LPAR 2005: 682-696 |
| 2004 |
|---|
| 6 | EE | Dominique Larchey-Wendling:
Counter-Model Search in Gödel-Dummett Logics.
IJCAR 2004: 274-288 |
| 2002 |
|---|
| 5 | EE | Dominique Larchey-Wendling:
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.
CADE 2002: 94-110 |
| 2001 |
|---|
| 4 | EE | Dominique Larchey-Wendling,
Dominique Méry,
Didier Galmiche:
STRIP: Structural Sharing for Efficient Proof-Search.
IJCAR 2001: 696-700 |
| 2000 |
|---|
| 3 | 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) |
| 1999 |
|---|
| 2 | EE | Didier Galmiche,
Dominique Larchey-Wendling:
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.
ASIAN 1999: 101-112 |
| 1998 |
|---|
| 1 | 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) |
