
Search the dblp DataBase
Dominique LarcheyWendling:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Didier Galmiche, Dominique LarcheyWendling
Structural Sharing and Efficient ProofSearch in Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:101112 [Conf]
 Dominique LarcheyWendling
Combining ProofSearch and CounterModel Construction for Deciding GödelDummett Logic. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:94110 [Conf]
 Dominique LarcheyWendling
CounterModel Search in GödelDummett Logics. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:274288 [Conf]
 Dominique LarcheyWendling, Dominique Méry, Didier Galmiche
STRIP: Structural Sharing for Efficient ProofSearch. [Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:696700 [Conf]
 Didier Galmiche, Dominique LarcheyWendling
Expressivity Properties of Boolean. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:357368 [Conf]
 Dominique LarcheyWendling
Bounding Resource Consumption with GödelDummett Logics. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:682696 [Conf]
 Dominique LarcheyWendling, 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]
 Dominique LarcheyWendling, 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]
 Dominique LarcheyWendling
Graphbased Decision for GödelDummett Logics. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:13, pp:201225 [Journal]
The Undecidability of Boolean BI through Phase Semantics. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
