Search the dblp DataBase

Publications of Author

1. Didier Galmiche, Dominique Larchey-Wendling
   Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:101-112 [Conf]
   
2. Dominique Larchey-Wendling
   Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:94-110 [Conf]
   
3. Dominique Larchey-Wendling
   Counter-Model Search in Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:274-288 [Conf]
   
4. Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche
   STRIP: Structural Sharing for Efficient Proof-Search. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:696-700 [Conf]
   
5. Didier Galmiche, Dominique Larchey-Wendling
   Expressivity Properties of Boolean. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:357-368 [Conf]
   
6. Dominique Larchey-Wendling
   Bounding Resource Consumption with Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:682-696 [Conf]
   
7. Dominique Larchey-Wendling, Didier Galmiche
   Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
   
8. Dominique Larchey-Wendling, Didier Galmiche
   Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:17, n:, pp:- [Journal]
   
9. Dominique Larchey-Wendling
   Graph-based Decision for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2007, v:38, n:1-3, pp:201-225 [Journal]
   
10. 
    The Undecidability of Boolean BI through Phase Semantics. [Citation Graph (, )][DBLP]