The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dominique Larchey-Wendling: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002