Travelled to:1 × Denmark
1 × Ireland
1 × Italy
1 × United Kingdom
Collaborated with:∅ D.Galmiche D.Méry
Talks about:search (4) proof (3) construct (2) dummett (2) counter (2) model (2) logic (2) gödel (2) structur (1) undecid (1)
Person: Dominique Larchey-Wendling
DBLP: Larchey-Wendling:Dominique
Contributed to:
2010
2004
200220012018Wrote 5 papers:
- LICS-2010-Larchey-WendlingG #semantics
- The Undecidability of Boolean BI through Phase Semantics (DLW, DG), pp. 140–149.
- IJCAR-2004-Larchey-Wendling #logic
- Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.
- CADE-2002-Larchey-Wendling #logic
- Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
- IJCAR-2001-Larchey-WendlingMG #named #performance
- STRIP: Structural Sharing for Efficient Proof-Search (DLW, DM, DG), pp. 696–700.
- IJCAR-2018-Larchey-Wendling
- Constructive Decision via Redundancy-Free Proof-Search (DLW), pp. 422–438.