| |
| 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) |
| 1 | Didier Galmiche | [1] [2] [3] [4] [8] |
| 2 | Dominique Méry | [4] |